For the summer of 2010 I will be at Mozilla working on JavaScript.

I am a PhD student of computer science at UCLA studying programming languages and compilers under Jens Palsberg. I did my undergraduate studies in computer science and linguistics at the home of tortured intellectuals, the University of Chicago.

I am interested in both programming languages and natural languages; in particular, modeling meaning.

Research

I am investigating proof techniques for correctness of dynamic compilation techniques, namely trace compilation.

I worked on contracts for immutable data structures with Robby Findler in PLT Scheme.

Drafts & Publications

Other Software Stuff

I help out with Snap, a Haskell web framework.

Some projects are at my Mercurial repos.

Personal

• I love food, especially street food and restaurants where I can't understand anything on the menu.
• I like typefaces.
• According to Netflix I like dark dramas with strong female leads.
• I am an avid proponent of functional programming and I'm not a type nazi. Both Scheme and Haskell are good!
• I am a keyboard enthusiast and currently use a HHKB Professional and a FILCO Otaku with Cherry browns.
• Konpeito!