Andrew D.
Gordon
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. Since April 2007, I am
a Visiting Professor in the School of
Computing Science at the University of Newcastle upon Tyne.
Online material. A separate page lists my publications and another gives full details. Other pages contain some research talks and some teaching-related materials, and I have a blog.
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:
- 19th Computer
Security Foundations Workshop (CSFW'06), Venice, July 5-7, 2006
- Software
System Reliability and Security, Marktoberdorf, August 1-13, 2006
- 4th Annual
Conference on Privacy, Security, and Trust (PST 2006), Ontario, Oct
31-Nov 1, 2006
- 4th ACM
Workshop on Formal Methods in Security Engineering (FMSE 2006),
Fairfax, Virginia, November 3, 2006
- 34th Symposium
on Principles of Programming Languages (POPL 2007), Nice, January
17-19, 2007
- 10th International Conference on Foundations of Software
Science and Computation Structures (FOSSACS 2007), Braga, March
24-April 1, 2007
Andrew Gordon, adgXmicrosoft.com where X=@
Microsoft Research