Back to advisors
PA
Prof Anuj Dawar FRS
Professor · Department of Computer Science and Technology
University of Cambridge · United Kingdomrelating logicrelational databasesprogram modelsetc. Besides its connection to descriptive complexitythe subject has applications in database theoryverification and the analysis of games. Themes
Data verified 9/6/2026Source