Joomy Korkut
PhD student in computer science at Princeton University.

I'm a fifth year grad student, advised by Andrew W. Appel, working on VeriFFI, a foreign function interface between Coq and C, on the CertiCoq compiler, verified 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 my Twitter and Mastodon posts.

On the job market




Last updated: