August 12, 2010
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.
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#.