Ernest Ng

About me

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

Ernest Ng

Hi! I’m a first-year Computer Science PhD student at Cornell. I’m interested in functional programming in OCaml & Haskell, the Coq proof assistant, type systems and compilers.

I previously studied 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 also 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

Recent News

Teaching

At Penn, I served as a TA for the following courses: