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 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've been co-chair of the Programme Committee for FMSE 2006 and Programme Chair for FOSSACS 2003 part of ETAPS 2003 in Warsaw. I'm a member of the EPSRC peer review college, the Editorial Board of Logical Methods in Computer Science, the MyThS Advisory Board, and a former member of the ETAPS steering committee. 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; the deadline for summer 2007 internships is the end of February 2007. These are 12 week research projects, undertaken here at MSR Cambridge, typically by grad students mid-way through their PhD. 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