Joomy Korkut
PhD student in computer science at Princeton University.

I'm a first year grad student, working with Prof. Andrew W. Appel.

I'm interested in programming languages; specifically dependent types, formal verification, proof automation and metaprogramming.

You can reach me at joomy@cs.princeton.edu, or look at my CV or blog.

Research