I am a member of the security and privacy group and also the theory group .

I'm also part of the EPSRC-funded Trust Domain Project, which is a collaborative project between the Universities of Birmingham, Aberdeen, Oxford and HP Labs Bristol. In April 2004 my monograph Reductive Logic and Proof-search: Proof Theory, Semantics, and Control, which is joint work with Dvid Pym, was published by Oxford University Press in their Oxford Logic Guides series. A list of errata can be found here.

Together with Richard Kaye I organised the annual meeting of the British Logic Colloquium in Birmingham from 12-14 September 2002. Details can be found here.

I am a committee member of the British Logic Colloquium .

David Pym, Thomas Streicher and I organised a Dagstuhl-seminar on Semantic Foundations of Proof search in April 2001. The programme can be found here.

I was principal investigator of the EPSRC-grant The eXplicit Linear Abstract Machine. The grant finished on 31 March 2000. A summary of the achievements can be found here.

The theory group in Birmingham has academic links with the EU-funded TYPES and APPSEM working groups.

I was one of the local organisers of the 12th European Summer School in Logic, Language and Information ( ESSLLI'00) here in Birmingham.

Valeria de Paiva, Josef van Gennabith and I organised a Dagstuhl Seminar on Linear Logic and Applications in August 1999. The programme, abstracts and slides can be found here.

Valeria de Paiva and I are organised a workshop on Logical Abstract machines, to take place here in Birmingham on 14-16 July. For details see here . This workshop was a successor to one with the same title, which took place in 1998 as part of the 10th European Summer School on Logic, Language and Information (ESSLLI) in Saarbruecken. Talks and papers can be found here.

In the academic year 2013/14 I am teaching the following courses:

- Operating Systems with C/C++ (Semester 1). The syllabus is here , and the course material is here .
- Cryptography (Semester 1). The syllabus is here, and the course material is here.

In the academic year 2012/13 I am teaching the following courses:

- Operating Systems with C/C++ (Semester 1). The syllabus is here , and the course material is here .
- Cryptography (Semester 1). The syllabus is here, and the course material is here.
- Process Calculi for Protocol Verification. Lecture Course in the Midlands Graduate School 2013 .

In the academic year 2011/12 I am teaching the following courses:

- Operating Systems with C/C++ (Semester 1). The syllabus is here , and the course material is here .
- Network Security (Semester 2). The syllabus is here, and the course material is here.

In the academic year 2010/11 I am teaching the following courses:

In the academic year 2009/10 I am teaching the following courses:

- Typed Lambda-Calculus. Lecture Course in the Midlands Graduate School 2010 .
- Systems Programming in C/C++ (Semester 2). The syllabus is here , and the course material is here .

In the academic year 2008/09 I am teaching the following courses:

- Operating Systems (Semester 1). This module will be given both for third-year students and MSc-students. The syllabus for third-year students and for the students of the MSc in Computer Science is here, the syllabus for the students of the MSc in Advanced Computer Science is here and the course material for both groups of students is here .
- Systems Programming in C/C++ (Semester 2). The syllabus is here , and the course material is here .

In the academic year 2007/08 I am teaching the following courses:

- Operating Systems (Semester 1). This module will be given both for third-year students and MSc-students. The syllabus for third-year students and for the students of the MSc in Computer Science is here, the syllabus for the students of the MSc in Advanced Computer Science is here and the course material for both groups of students is here .
- Systems Programming in C/C++ (Semester 2). The syllabus is here , and the course material is here .

In the academic year 2006/07 I am teaching the following modules:

- Systems Programming in C/C++. The syllabus is here .

In the academic year 2005/06 I am teaching the following courses:

- Operating Systems (Semester 1). This module will be given both for third-year students and MSc-students. The syllabus for third-year students and for the students of the MSc in Computer Science is here, the syllabus for the students of the MSc in Advanced Computer Science is here and the course material for both groups of students is here .
- Systems Programming in C/C++. The syllabus is here , and the course material is here .

Available Projects for Final-Year and MSc students

- Recipe for German-style rye bread

My timetable for this term is available.