Anuj Dawar is Professor of Logic and Algorithms at the University of Cambridge, where he has been a member of the faculty since 1999.He obtained a Bachelor's degree from IIT, Delhi and a Master's degree from the University of Delaware before going on to get his PhD from the University of Pennsylvania in 1993. Before coming to Cambridgehe worked for several years as a post-doc and a lecturer at Swansea University.
Anuj has an interest in computational complexity theory, which seeks to understand the fundamental limitations of some of our most powerful algorithmic techniques. He has worked for many years on approaches to complexity based on logic - by relating computational complexity to problems of definability. Recently he has been focusing on the role of symmetry in computation, both as a resource and a limitation.