Ernest Ng

About me

Email: ernest@cs.cornell.edu
GitHub: ngernest

Ernest Ng

Hi! I’m a second-year Computer Science PhD student at Cornell, working on programming languages research. I’m interested in functional programming, property-based testing, proof assistants and type systems.

This summer, I’m interning with the Automated Reasoning group at AWS, working on property-based testing infrastructure for Lean.

I did my undergrad at Penn, majoring in Math & CS. At Penn, I worked on property-based testing research, advised by Harry Goldstein & Benjamin Pierce. Before grad school, I worked in industry for a year as a data engineer.

Outside of PL, I enjoy playing the pipe organ and running.

Feel free to take a look at my resume, or the projects page on this site!

Research

Other

Have we met before? I’d love to hear from you! I was at:

Teaching

I’ve served as a teaching assistant for the following courses:

Cornell:

Penn: