Hello. I am a computer programmer specializing in the implementation and use of the ML family of languages. I work at Jane Street Capital, a proprietary trading company that uses OCaml as its main implementation langauge. Jane Street is actively recruiting functional programmers, so if you are interested, please contact me. I am the creator of MLton, an open source, optimizing compiler for Standard ML.

My Background

I have been programming since 1982. 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 worked on 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 February 2007.

Contact

Also see my Resume, Papers, and Personal page.