![]() |
Michael Benedikt Professor of Computer Science Department of Computer Science, Oxford University Governing Body Fellow of University College Director of the MSC in Advanced Computer Science . Supplementary program information can be found here . |
![]() |
||
Office: 355 Wolfson Building Address: Dept. of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK Tel: +44 (0)1865 273 818 Email: michael.benedikt@cs.ox.ac.uk |
In the coming year, I will be teaching databases and a reading course in automata and logic .
 
Recent/Upcoming Keynote Talks:
The Decision Problem in First-Order Logic (DPFO2023) ,
Reachability Problems (RP 2022) ,
GF@25, 2022 ,
TABLEAUX/FROCOS 2021 ,
Highlights of Logic, Games, and Automata 2020 ,
Principles of Database Systems (PODS 2018) ,
Second-Order Quantifier Elimination (SOQE 2017) ,
Web Age Information Systems (WAIM 2015) ,
International Workshop on Description Logics (DL 2014)
,
Alberto Mendelzon Workshop on Management
of Data (AMW 2014)