Joomy Korkut
PhD student in computer science at Princeton University.

I'm a (rising) 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 tweets.

In the summer of 2022, I will be working as an applied scientist intern at AWS's Automated Reasoning Group, so it may take me longer to respond.

Teaching

Papers

Talks

Last updated: