Prof. Anuj Dawar — Research Profile
University of Cambridge · Department of Computer Science and Technology
About
Prof. Anuj Dawar at University of Cambridge Department of Computer Science and Technology lists Algorithms and Complexity, Logic, Finite Model Theory, Computational Complexity as their registered research area.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Complexity and Algorithms in Graphs
Iddo Tzameret 교수 연구실
Imperial College London · Department of Computing
The Weak Rank Principle: Lower Bounds and ApplicationsPreprintarXiv (Cornell University) · Aug 9Stefan Kiefer 교수 연구실
University of Oxford · Department of Computer Science
Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automataLogical Methods in Computer Science · Sep 25James Worrell 교수 연구실
University of Oxford · Department of Computer Science
Approximate Polynomial Satisfiability is in the Counting HierarchyPreprintarXiv (Cornell University) · Sep 30
Other labs in this department
- Alan Blackwell 교수 연구실
Human-Centred Computing, Machine Learning and Artificial Intelligence, Programming Languages, Semantics and Verification
- Alastair Beresford 교수 연구실
Security, Systems and Networking, Programming Languages, Semantics and Verification
- Alice Hutchings 교수 연구실
Security
- Amanda Prorok 교수 연구실
Machine Learning and Artificial Intelligence, Mobile Systems, Robotics and Automation
- Andreas Vlachos 교수 연구실
Natural Language Processing, Machine Learning and Artificial Intelligence
- Andrew W. Moore 교수 연구실
Systems and Networking, Computer Architecture, Machine Learning and Artificial Intelligence, Security