About me

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

Hi! I’m a first-year Computer Science PhD student at Cornell, working on programming languages research. I’m interested in type systems, functional programming, proof assistants and property-based testing. This summer, I’ll be interning at Amazon Web Services, in the Automated Reasoning group.

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 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

• Mica: Automated Differential Testing for OCaml Modules
  Ernest Ng, Harrison Goldstein, Benjamin Pierce
  OCaml Workshop 2024 [Slides] [Talk Video] [Code]

• Automated Differential Testing for OCaml Modules
  Ernest Ng
  ICFP 2023 SRC (2nd place)

Other

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

• ICFP ’24 @ Milan (student volunteer)
• POPL ’24 @ London (student volunteer)
• ICFP ’23 @ Seattle (SRC participant)
• CMMRS ’23 @ Saarbrücken
• OPLSS ’23 @ Eugene

Teaching

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

• CIS 1904/1940: Introduction to Haskell
• CIS 2400: Computer Systems
• CIS 3800: Operating Systems
• Software Foundations mini-course (abridged version of CIS 5000, part of Penn’s REPL program)
• CIS 5450: Big Data Analytics (Head TA, Fall ’22)
• CIS 5500: Databases