Computer Laboratory


Professor of Logic and Algorithms
in the Department of Computer Science and Technology, University of Cambridge.

Fellow of Robinson College.
Fellow of the Alan Turing Institute.

Contact Info:
anuj.dawar at

Department of Computer Science and Technology
University of Cambridge
J.J. Thomson Avenue
Cambridge CB3 0FD, England.
Phone: +44 1223 334408
Fax:   +44 1223 334678
Office: FE20

External Professional Roles:
I am serving on the award committee for the EATCS and ACM SigACT Gödel Prize. I served as president of the European Association for Computer Science Logic for five years until the end of 2017. In this capacity, I also chaired the jury for the Ackermann Award

During 2016, I co-organised a semester on Logical Structures in Computation at the Simons Institute for the Theory of Computing at Berkeley.

I am on the advisory board for the Vienna Center for Logic and Algorithms.

I am on the steering committees forLICS, WoLLIC, and LCC.

In 2014 and 2015, I served as chair of the jury for the ACM-India Doctoral Dissertation Award.

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.

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.
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.

  • Gregory Wilsenach
  • Danny Vagnozzi
  • Adam ó Conghaile

Students who have previously completed the PhD under my supervision are:

Editorial Work: I serve on the editorial board of:

ACM Transactions on Computational Logic
Journal of Computer and System Sciences
FoLLI LNCS series

and served for nine years as reviews editor of the

Bulletin of Symbolic Logic.

Meetings: Some conferences, workshops and the like I'm currently involved in.

I was the principal local organiser of the Turing Centenary Conference: CiE 2012 - How the World Computes.

During Michaelmas 2018, I am giving lectures on Quantum Computing for Part 2 students.
During Easter 2019, I am giving lectures on Complexity Theory for Part 1B students.

Other courses I've lectured in the past include:

During Lent 2002, I lectured (jointly with Martin Hyland) a Part III Mathematics course on Infinite and Finite Model Theory.
Some notes for the course can be found here.

MPhil ACS, Part III and Part II projects:
If you are interested in pursuing a Master's level research project with me, some ideas for projects I would be happy to supervise can be found here.
Some of these may also be adaptable as Part II projects and are indicated as such.

Last modified: 28 November 2018.