I am a PhD student (having started in Fall 2009) in the School of Computer Science at Carnegie Mellon University. My advisor is Karl Crary. I received my MSE in Computer and Information Science and my BSE in Computer Science and Engineering (with minor concentrations in mathematics and East Asian Languages and Civilizations) from the School of Engineering and Applied Science at the University of Pennsylvania.
I grew up about an hour away from Philadelphia. I love (on average) Pennsylvania's climate but sometimes have trouble biking through snow.
I am interested in programming languages, both from a high-level (type systems) and a low-level (compilers) point of view. In particular, I would like to study how theory can inform low-level systems (through improvements in efficiency and security) and how systems can drive theory (by exposing interesting new modes of computation). My interests also include computer architecture and operating systems.
Currently I am working on the ConcertOS project, which unites all of my research subject areas.
In my spare time, I enjoy reading and writing as well as programming. I have been teaching myself to cook to a moderate degree of success. I like to run and prefer to use my bicycle as my primary means of transportation.