Computer Laboratory

ANUJ DAWAR

Professor of Logic and Algorithms
in the Computer Laboratory, University of Cambridge
Fellow of Robinson College.

Contact Info:
anuj.dawar cl.cam.ac.uk

External Professional Roles:
I serve as president of the European Association for Computer Science Logic. International Innovation magazine interviewed me on this topic. In this capacity, I also chair the jury for the Ackermann Award

I am currently chair of the jury for the ACM-India Doctoral Dissertation Award.

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

I am on the ACM SigLOG executive committee, the steering committees for WoLLIC, Highlights and co-chair of the steering committee for LCC.

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.

• Jannis Bulian
• Pengming Wang
• Gregory Wilsenach

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:

ACM Transactions on Computational Logic
Computability
FoLLI LNCS series

and as reviews editor of the

Bulletin of Symbolic Logic.

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

• BLC 2015 (PC chair)
• TTCS 2015 (Invited Speaker)
• LICS 2015 (PC member)
• STACS 2015 (PC member)
• ALC 2015 (Invited Speaker)
• BLC 2014 (Invited Speaker)
• Colloquium Logicum 2014 (PC member)
• ICALP 2014 (PC member)
• LCC 2014 (Invited Speaker)

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

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.

Teaching:
During Michaelmas 2014, I am giving a course of lectures on Quantum Computing for Part 2 students. During Easter 2015, I am giving lectures on Complexity Theory (for Part 1B students).

Other courses I've lectured in the past include:

• 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 Infinite and Finite Model Theory.
Some notes for the course can be found here.
 
 
 
 

Last modified: 2 October 2014.