Anuj Dawar
Professor, University of Cambridge
Anuj Dawar is Professor of Logic and Algorithms at the University of Cambridge. He serves as President of the European Association for Computer Science Logic (EACSL) and a member of the ACM SigLog Executive. He obtained a first degree at IIT, Delhi and a Masters degree at the University of Delaware before completing his PhD at the University of Pennsylvania in 1993. He has been a member of the faculty at Cambridge since 1999. His research focus is in theoretical computer science, particularly where methods from logic and combinatorics intersect in the study of algorithms.
Program Visits
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist.
- Logical Structures in Computation, Fall 2016. Visiting Scientist, Program Organizer and Workshop Organizer.