I am currenly a third-year Ph.D. student at University of Washington's Computer Science and Engineering department.
I'm currently working on a large scalable and extensible web crawling infrastructure with Steve Gribble and Hank Levy.
My interests are wide and include programming languages, programming systems, security, and software reliability. I'm a regular of the WASP group.
previously
Previouly, I worked with Craig Chambers on a language called Pidgin. Its goal was to ease interoperability between different programming languages using foreign function interfaces and their runtime systems. Pidgin is typed language that has constructs for reasoning about about values and code from multiple languages. The implementation supports type polymorphism, language-polymorphism and Hindley-Milner style type inference. Code written in the language is compiled to the glue code between interoperating languages. You can read about this in my quals paper (pdf), and look at the slides from my presentation (pptx).
Prior to joining UDub, I was employed by the U.S. Government and worked on security related projects. Initially I started as a microelectronics design engineer.
I graduated from Carnegie Mellon University in 2000 with an integrated MS/BS in Electrical and Computer Engineering. There I did some work related to the PipeRench Project.