Joomy Korkut
PhD student in computer science at Princeton University.

I'm a first year grad student, advised by Andrew W. Appel.

I'm a member of the programming languages group; I'm interested in dependent types, formal verification, proof automation and metaprogramming.

You can reach me at, or look at my CV or blog.