I'm a Senior Researcher with Microsoft
Research,
Cambridge, in the
Programming Principles and Tools group. Before joining Microsoft in
1997, I was a Royal Society
University Research
Fellow at the University of Cambridge
Computer Laboratory.
Online material. A separate page lists my
publications and another gives
full details. Other pages contain
some research talks (Web
Services and Security, Bertinoro, September 2004), and some teaching-related
materials.
Research. My interests are in the general area of computer
programming languages. I've published and lectured on operational
semantics, type theory, concurrency theory, automated reasoning, program logics,
and functional and object-oriented programming. I am the co-inventor of
two popular formalisms for describing concurrent processes: the
spi calculus (with
M. Abadi) and the
ambient calculus (with
L. Cardelli). My recent
work focuses on applying type theory and other formal techniques to problems of computer security. One
project is an analysis (with
D. Syme) of the type
system underlying the bytecode verifier of the Microsoft .NET Common Language
Runtime. Another is
Cryptyc (with A. Jeffrey), a
type-checker for cryptographic protocols. The
Samoa Projectis
developing formal tools for the security of XML Web Services.
Professional activities. I was the Programme Chair for FOSSACS 2003 part of ETAPS 2003 in Warsaw. I'm a member of the ETAPS steering committee, and the MyThS Advisory Board. I co-founded the HOOTS series of workshops on Higher Order Operational Techniques in Semantics, held in Cambridge, Stanford, Paris, and Montreal, and co-edited the HOOTS book.
Summer internships at MSR Cambridge. I welcome applications for summer internships; however, the deadline for summer 2005 internships is the end of February 2005. These are 12 week research projects, undertaken here at MSR Cambridge, typically by grad students mid-way through their PhD. Often internships result in research publications; a good example is the paper I wrote with Ric Pucella on his summer internship in 2002. There is an online application form.
Some recent and upcoming events:
Andrew Gordon, adgXmicrosoft.com where X=@
Microsoft Research Roger Needham Building 7 J J Thomson Ave Cambridge CB3 0FB UK +44 1223 479780