Andrew Kennedy

Research Interests

My research interests include type systems and formal semantics for
programming languages, optimizing compilation, functional programming, and
high-level language interoperability. I do not believe in
object-oriented programming.

Blog

I have a blog that presents an introduction to units-of-measure in F#.

Biography

I studied for my PhD (1992-1995) under
Alan Mycroft at the
University of Cambridge Computer
Laboratory. My thesis topic was programming language support for
checking units-of-measure in numeric types. Following that I spent a year as
a postdoctoral researcher at the Laboratoire d'informatique (LIX)
at Ecole Polytechnique in Paris.
I then joined Persimmon IT Inc as a research scientist, and co-developed the
MLj compiler for Standard ML targeting the Java Virtual Machine. Since 1999
I have been a Researcher at Microsoft Research in Cambridge, England.