I am a second year PhD student in the Theory and Semantics Group at the Computer Laboratory, University of Cambridge. I am also a member of Queens' College. My supervisor is Peter Sewell, although I also work in close collaboration with Tim Griffin.
I am jointly working on the Metarouting Project.
Previously I have worked on HashCaml, a project to bring type-safe marshaling to the OCaml language. See the ML '06 paper for more details.
My final-year undergraduate project was to increase the runtime performance of a subset of the Acute programming language by targetting OCaml bytecode. See my dissertation for the gory details.
John Billings
University of Cambridge
Computer Laboratory
15 JJ Thomson Avenue
Cambridge CB3 0FD
United Kingdom
Email: firstname DOT lastname AT cl.cam.ac.uk
Phone: +44 (0)1223 763693
Office: FE22
Last updated: Sun May 6 02:21:05 BST 2007