EPSRC logo
Researcher Details
 
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/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