![]() |
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) ,