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 Automata, Logic, and Games.
  Recent/Upcoming Keynote Talks: Alberto Mendelzon Workshop (AMW 2024) , Craig Interpolation and Beth Definability (CIBD 2024) , 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) ,