Anuj Dawar

Anuj Dawar is a professor of logic at the University of Cambridge, focusing on theoretical computer science and logic, and actively engaged in research that explores the intersection of logic and computation.