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 joomy@cs.princeton.edu, or look at my CV, blog, or my Twitter and Mastodon posts.

Teaching

Papers

Talks

Last updated: