About me
Email: eyn5@cornell.edu
GitHub: ngernest
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
-
Mica: Automated Differential Testing for OCaml Modules
Ernest Ng, Harrison Goldstein, Benjamin Pierce
Under submission. -
Automated Differential Testing for OCaml Modules
Ernest Ng
ICFP ’23 SRC
Recent News
- Jan 2024. Served as an AV student volunteer at POPL 2024. London, UK
- Sept 2023. Received 2nd prize in the ICFP ’23 SRC for our work on Mica! Seattle, WA
- Aug 2023. Received travel award to attend the Cornell, Maryland & Max Planck Research School (CMMRS), held at the Max Planck Institute for Software Systems. Saarbrücken, Germany
- June 2023. Received fellowship grant to attend the Oregon Programming Languages Summer School (OPLSS) at the University of Oregon. Eugene, OR
Teaching
During my time at Penn, I served as a teaching assistant for the following courses: