I am a fifth year masters student in the Computer Science Department at
Carnegie Mellon University. I am advised by Frank Pfenning.
I am interested in logic, type systems, programming languages,
compilers and concurrency. I also like to teach.
My master thesis is on Compiler Generation for Substructural
I am also implementing a substructural operational semantics for C0
that can be executed using Celf
I have been a TA for the following courses:
Principles of Imperative Programming
Compiler Design and Implementation
This website is under construction. Last updated on 2012-12-05.