Name:	Professor A Dawar
Organisation:	University of Cambridge
Department:	Computer Science and Technology
Current EPSRC-Supported Research Topics:	Fundamentals of Computing

Current EPSRC Support

EP/T007257/1 Resources and co-resources: a junction between semantics and descriptive complexity (P) EP/S03238X/1 Circuits, Logic and Symmetry (P)

Previous EPSRC Support

EP/H026835/1 Descriptive Complexity with Algebraic Operators (P) GR/S06721/01 The Role of Choice in Descriptive Complexity (P) GR/N23028/01 MANY-DIMENSIONAL MODAL LOGICS AND FINITE MODEL THEORY (C) GR/L69596/02 MODEL THEORETIC METHODS IN COMPLEXITY AND VERIFICATION (P) GR/L69596/01 MODEL THEORETIC METHODS IN COMPLEXITY AND VERIFICATION (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator