About me

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

Hi! I’m a second-year Computer Science PhD student at Cornell. I work on programming languages & systems research in the Capra lab, advised by Adrian Sampson & Kevin Laeufer.

I recently interned at Amazon Web Services, working on property-based testing (PBT) infrastructure for Lean with Cody Roux & Mike Hicks.

I did my undergrad at Penn, where I worked on PBT research, advised by Harry Goldstein & Benjamin Pierce. Before grad school, I worked in industry for a year as a data engineer.

Outside of CS, I enjoy running & playing the pipe organ. I study organ performance with Annette Richards & Amanda Mole, and work as an organist for Cornell’s Episcopal Church.

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

Research

• Building an Interpreter for an Imperative Hardware Interface Specification Language
  Nikil Shyamsunder, Francis Pham, Ernest Ng, Adrian Sampson, Kevin Laeufer
  FMCAD 2025 Student Forum [Code] (Ongoing work)

• Mica: Automated Differential Testing for OCaml Modules
  Ernest Ng, Harrison Goldstein, Benjamin Pierce
  OCaml Workshop 2024 [Slides] [Talk Video] [Code]
  Received 2nd place at the ICFP 2023 SRC (poster)

Other

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

• Upstate PL @ Cornell
• NJPLS @ Cornell Tech / Princeton / Penn
• ICFP ’24 @ Milan (student volunteer)
• POPL ’24 @ London (student volunteer)
• ICFP ’23 @ Seattle (SRC participant)
• CMMRS ’23 @ Saarbrücken
• OPLSS ’23 @ Eugene

Teaching

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

Cornell:

• CS 3410: Computer Systems (Fall 2025)
• CS 4610: Formal Verification (Spring 2026)

Penn:

• CIS 1904/1940: Introduction to Haskell (Spring 2023)
• CIS 2400: Computer Systems (Fall 2022)
• CIS 3800: Operating Systems (Fall 2023)
• Software Foundations Rocq mini-course (for Penn’s REPL program) (Summer 2023)
• CIS 5450: Big Data Analytics (Spring - Fall 2022, Head TA for Fall)
• CIS 5500: Databases (Summer 2022)