返回导师列表
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
数据校验于 9/6/2026数据来源