I'm a Carnegie Mellon University SCS Senior, and will be a 5th year research masters student in programming language theory. I'm interested in formal logic, type theory, topology and complexity theory.

I contributed significantly to the interpreter for graph database with a functional logic language written in Haskell, which can be found at http://www.stigdb.org/. I also used to develop a physically based ray tracer in java, TLRcam. I have recently been developing my language korma, written in Haskell with features verified in Twelf.