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. I work on programming languages & systems research in the Capra lab, advised by Adrian Sampson & Kevin Laeufer. I’m currently working on a DSL for specifying hardware communication protocols, with the aim of making it easier to test and debug such protocols.

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 in the PLClub (Penn’s PL group). Before grad school, I worked in industry for a year as a data engineer.

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

Here’s my resume and a list of projects I’ve done.

Research

Other

Have we met before at a conference? I’d love to hear from you! I attended / will be at:

Teaching

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

Cornell:

Penn: