Current Position

I am a senior 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. She is from the beautiful town of Slovenj Gradec in Slovenia. In 2007 she was nominated as Slovene Woman of the Year. We have two daughters: Hana, who was born in 2002, and Lina, who was born in 2006.

My brother, James Bierman, is the Executive Producer at the Donmar Warehouse in London.