*ANUJ DAWAR*

*ANUJ DAWAR*

**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.dawarcl.cam.ac.uk

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 serve as president of the European
Association for Computer Science Logic (until the end of
2017).
In this capacity, I also chair 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 ACM SigLOG executive committee, the steering committees for WoLLIC, Highlights and co-chair of the steering committee for 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.

- Pengming Wang
- Gregory Wilsenach
- Danny Vagnozzi

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)
- Jannis Bulian (2016)

**Editorial Work:**
I serve on the editorial board of:

ACM Transactions on Computational Logic

Computability

FoLLI LNCS series

and served for nine years as reviews editor of the

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

- LiCS 2018 (PC member)
- CSL 2017 (PC member)
- ICALP 2017 (PC member)
- FoSSaCS 2017 (PC member)
- ICLA 2017 (PC member)
- CSR 2017 (PC member)
- Highlights 2016 (PC member)
- ACM-India Annual Event, 2016 (Keynote Speaker)
- BLC 2015 (PC chair)
- TTCS 2015 (Invited Speaker)
- LICS 2015 (PC member)
- STACS 2015 (PC member)
- ALC 2015 (Invited Speaker)

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

**Teaching:**

During Michaelmas 2017, I am giving lectures
on Quantum
Computing for Part 2 students.

During Easter 2018, I am giving lectures
on Computation Theory for Part 1B students.

During Easter 2016, 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.
- 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.

**MPhil ACS and Part III projects:**

If you are interested in pursuing a Master's level research project
with
me, here
are some ideas for projects I would be happy to supervise.

Last modified: 6 October 2017.