LondonUnited Kingdom EC2Y 5EA
August 12, 2010
Principal Researcher at Microsoft Research Cambridge, as well as Professor of Computer Science at Queen Mary, University of London. Functional programmer since 1994 (Haskell, SML, Caml, Intel's FL, and now F#). Long time booster of F#.
I have not strayed too far from the Caml subset of F#. In recent days I've been making heavy use of F#'s notation for matrices. I have been using functional programming languages for a long time, so I'm familiar with the F# style of programming
I build automatic tools that analyze/prove properties of complex systems (e.g. programs, biological models, etc). Recent example tools include SLAM and Terminator.