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.
- Logical Structures in Computation, Fall 2016. Visiting Scientist, Program Organizer and Workshop Organizer.