Joomy Korkut
PhD student in computer science at Princeton University.

I'm a second year grad student, advised by Andrew W. Appel, working on a verified foreign function interface between Coq and C, on the CertiCoq compiler via VST.

I'm a member of the programming languages group; I'm interested in dependent types, formal verification, proof automation, metaprogramming and reflection.

Before starting a PhD program, I was at Wesleyan University (BA, MA), working with Daniel R. Licata on compiler verification and editor interaction for dependently typed languages.

You can reach me at joomy@cs.princeton.edu, or look at my CV, blog, or tweets.

Teaching

Papers

Talks

Other Work

Last updated: