ANUJ DAWARProfessor of Logic and Algorithms and Deputy Head of Department
in the Computer Laboratory, University of Cambridge
Fellow of Robinson College.
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.
Meetings: Some conferences, workshops and the like I'm involved in.
During the academical year 2010-11, I am giving lectures on Computation Theory (for Part 1B students) and on Topics in Logic and Complexity (for the MPhil ACS) in the Lent term. I am lecturing on Complexity Theory (for Part 1B students) in the Easter term.
Other courses I've lectured include:
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: 14 January 2011.