Joomy Korkut
PhD student in computer science at Princeton University.

I'm a first year grad student, advised by Andrew W. Appel, working on a verified foreign function interface from Coq to 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 and metaprogramming.

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.



Last updated: