I am a Ph.D. student in the Computer Science Department at Carnegie Mellon. I did my undergraduate work at CMU as well, studying Computer Science, Discrete Math and Logic, and Russian Studies. I disappeared for a year before returning to start my graduate studies.
I donate a little bit of time each Monday to providing other graduate students with tea. If you would be interested in joining the weekly tea hour for free tea, you can join the mailing list.
Research
Current
I am currently advised by Frank Pfenning and Seth Goldstein and am involved in the claytronics project.
I would like to figure out how to program a claytronics ensemble in a reasonable way.
Past
As an undergraduate, I was advised by Karl Crary and Bob Harper on my senior thesis working towards a mechanized proof of type-safety for SML.
Among other things, this resulted in a submission to the poplmark challenge.
In Fall 2003, Spring 2004, and Fall 2004 I was a teaching assistant for
15-410, Operating System Design and Implementation.
In Spring 2005, Fall 2005, and Fall 2006 I also provided some support for the course.
