I do research at Mozilla.
I was a graduate 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.
I looked into static analyses for JavaScript. Last thing was using a half-static half-dynamic type inference engine inside Firefox's tracer. Past endeavors include a one-pass parse-time SSA construction algorithm.
I investigated 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.