Joomy Korkut
PhD student in computer science at Princeton University.

I'm a third 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 computational linguistics.

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, or look at my CV, blog, or tweets.




Other Work

Last updated: