Ernest Ng

About me

Email: eyn5@cornell.edu
GitHub: ngernest

Ernest Ng

Hello! I’m an incoming Computer Science PhD student at Cornell University. I previously studied at the University of Pennsylvania, majoring in math & CS.

At Penn, I worked on property-based testing research, advised by Harry Goldstein & Benjamin Pierce.

My academic interests include functional programming in OCaml & Haskell, the Coq proof assistant, type systems and compilers.

Research

Recent News

Teaching

During my time at Penn, I served as a teaching assistant for the following courses: