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

Papers

Talks

Last updated: