Current Position

I am a researcher in the Programming Principles and Tools Group, headed by Luca Cardelli, at Microsoft Research in Cambridge, UK.

Previous Positions

Over the years I have held the following positions:

• Oct 2000-Mar 2004: University Lecturer, University of Cambridge Computer Laboratory
• Oct 2000-Mar 2004: Fellow, College Lecturer & Director of Studies, St. Johns College, Cambridge
• Oct 1999-Oct 2000: University Lecturer, Department of Computer Science, University of Warwick
• Oct 1995-Oct 1999: Research Fellow, Gonville and Caius College, Cambridge
• Jan 1994-Oct 1995: EPSRC Research Fellow, University of Cambridge Computer Laboratory
• Oct 1993-Oct 1995: Research Fellow, Wolfson College, Cambridge
• Oct 1990-Oct 1993: PhD student, Wolfson College, Cambridge
• Oct 1987-Jul 1990: BSc student, Imperial College, London

PhD students

I have been privileged to supervise the following research students.

• Alisdair Wren, Relationships for object-oriented languages. Defended July 2007.
• Gareth Stoyle, A Theory of Dynamic Software Updates. Defended July 2006. [Now working in the City]
• Matthew Parkinson, Local Reasoning for Java. Defended October 2005. [Now an RAE/EPSRC postdoctoral research fellow at University of Cambridge Computer Laboratory]
• [Second supervisor] Agathoniki Trigoni, Semantic optimization of OQL queries . Defended December 2001. [Now a lecturer at University of Oxford.]
• Christian Urban, Classical logic and computation. Defended October 2000. [Now a research fellow and head of the Nominal Methods Group at University of Munich.]
• [Second supervisor] Mohomad Afshar, An open parallel architecture for data-intensive applications . Defended March 1999. [Now working for Oracle Corporation.]

Teaching

When I was a lecturer I taught the following courses:

• Lent Term 2004: Database Theory
• Lent Term 2004: Introduction to Functional Programming
• Easter Term 2004: Databases
• Easter Term 2003: Databases
• Easter Term 2003: Database Theory
• Easter Term 2002: Databases
• Mich Term 2001: Operating Systems Foundations
• Spring Term 2000: Introduction to Software Engineering (Univ of Warwick)
• Spring Term 2000: Second Year Group Project (Univ. of Warwick)
• Lent Term 1999: Introduction to Functional Programming

Personal

I am married to Mateja Jamnik. We have two daughters: Hana, who was born in 2002, and Lina, who was born in 2006.

My brother, James Bierman, is the General Manager of the Donmar Warehouse in London. (This was reported in The Stage.) He was previously the general manager of the Aldwych Theatre.