Spotlight: Professor Anuj Dawar

Professor Anuj Dawar

 

Professor Dawar is Professor of Logic and Algorithms in the Computer Laboratory. He also serves as president of the European Association for Computer Science Logic.

He received his Bachelor’s degree in Computer Science and Engineering from the Indian Institute of Technology, Delhi and went on to receive a Masters and a PhD in Computer and Information Science. Professor Dawar has been part of the University of Cambridge for 16 years in a number of capacities including University Lecturer, Reader and Professor.

His interests include applications of logic in Computer Science, especially in those areas of theoretical computer science where logical and combinatorial methods combine in the study of algorithms.These include finite model theory and its connection to the study of computational complexity; the theory of databases; the complexity of games and the expressive power of logical formalisms.