Hello. I am a computer programmer specializing in compilers and the design and implementation of advanced programming languages. I currently work for Jane Street Capital, a proprietary trading company that uses OCaml as its main implementation langauge. I am the creator of MLton, an open source, optimizing compiler for Standard ML. I also have experience with language semantics, trust management systems, and cryptography.

My Background

I have been programming since 1982 and have been implementing compilers since 1989. I received a BA in computer science and mathematics from Rice University in 1992 and an MS in computer science from Carnegie-Mellon University in 1995. From 1997-1999, I worked at the NEC Research Institute where I started development of MLton. From 1999-2002, I worked at InterTrust's STAR Lab, where I studied trust management systems, cryptography, commerce languages, and continued development of MLton. From 2002 until 2006, I worked as a consultant based in Silicon Valley. I have worked at Jane Street since January 2007.

Also see my Resume and Papers.

Contact

Also see my Personal page.