gmb://web
		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/~gmb How to get to MSR Cambridge

Gavin Bierman is a 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.

[Papers] [Talks] [Cω] [Movie] [Webcast] [Bio] [Blog] [MS Internal]