|University of Cambridge Computer Laboratory
William Gates Building
J.J. Thomson Avenue
Cambridge CB3 0FD, England.
|Phone: +44 1223 334408
Fax: +44 1223 334678
Research Interests: I am mainly interested in applications of logic in Computer Science. I am especially interested in those areas of theoretical computer science where logical and combinatorial methods combine in the study of algorithms. These include finite model theory and its connection to the study of computational complexity; the theory of databases; the complexity of games and the expressive power of logical formalisms.
Papers: A list of selected publications, including some available
electronically is here.
Here is the list of my papers at DBLP.
An electronic version of my Ph.D. thesis (U.Penn., 1993) can be found here.
I regularly write reviews for Mathematical Reviews.
Talks: Slides from some recent talks I have given are here.
Research Students: I am supervising the following students for their PhD.
- Jannis Bulian
- Jamie Hayes
- Pengming Wang
Students who have previously completed the PhD under my supervision are:
- David Richerby (2003)
- Pablo Arrighi (2004)
- Paul Hunter (2007)
- Timos Antonopoulos (2009)
- Bjarki Holm (2011)
- Yuguo He (2011)
- Arno Pauly (2012)
Editorial Work: I serve on the editorial board of:
and as reviews editor of the
Meetings: Some conferences, workshops and the like I'm involved in.
- Colloquium Logicum 2014 (PC member)
- ICALP 2014 (PC member)
- FSTTCS 2013 (PC member)
- FICS 2013 (invited speaker)
- GandALF 2013 (PC member)
- MFCS 2013 (PC member)
- CiE 2013 (PC member)
- CiE 2012 (PC co-chair and principal organiser)
I serve as president of the European Association for Computer Science Logic.
I served as principal organiser of the programme on Logic and Algorithms at the Isaac Newton Institute of Mathematical Sciences from 16 January to 7 July 2006. You can read the final report of the programme here.
I am on sabbatical leave for Michaelmas 2013 and Lent 2014. During Easter 2014, I will be giving lectures on Complexity Theory (for Part 1B students).
Other courses I've lectured include:
- Quantum Computing for Part 2 students
- Topics in Logic and Complexity for Part 3 and the MPhil ACS.
- Computation Theory for Part 1B students
- Database Theory for Part 2 students
- Regular Languages and Finite Automata for Part 1A students
- Introduction to Functional Programming for Part 2 (general) and Diploma students
- Foundations of Functional Programming for Part 1B.
During Lent 2002, I lectured (jointly with Martin Hyland) a Part III
Mathematics course on
and Finite Model Theory.
Some notes for the course can be found here.
Last modified: 10 October 2013.