Gavin Bierman is a senior researcher in the Programming Principles and Tools Group at Microsoft Research in Cambridge, UK.

His areas of interest include database query languages, type systems, semantics, programming language design and implementation, data model integration, separation logic, and dynamic software updating.

Before joining Microsoft Research, Gavin was a University Lecturer at the University of Cambridge Computer Laboratory and a fellow of St. John's College, Cambridge.

Microsoft Research
Roger Needham Building
7 JJ Thomson Avenue
Cambridge CB3 0FB
UK
Email: gmb at microsoft dot com
Phone: +44 1223 479 788
Fax: +44 1223 479 999
http://research.microsoft.com/users/gmb
How to get to MSR Cambridge

• Papers
• Talks
• Cω
• Movie
• Webcast
• Bio
• Blog
• MS Internal