You can ask me about full- or part-time employment
Living in Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213-3890
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.