Skip to main content

Stefan Kiefer

Personal photo - Stefan Kiefer

Stefan Kiefer

Associate Professor

Tutorial Fellow, St John's College

E: stekie delete this at
T: +44 (0)1865 273 864

Wolfson Building, Parks Road, Oxford OX1 3QD


Verification, probabilistic models, infinite-state systems, program analysis, automata theory.

Publications, Publications up to 2020

Research Blog

Recent talks


Professional Service


I received my undergraduate degree in computer science at the University of Stuttgart in 2005. I completed my doctoral degree (Dr. rer. nat., summa cum laude) at the TU München in 2009 under the supervision of Javier Esparza. From 2009 to 2013 I had postdoctoral positions, including a DAAD postdoctoral fellowship, at the University of Oxford. From 2013 to 2021 I held a Royal Society University Research Fellowship for my project on Quantitative Analysis of Infinite-State Systems. In 2013 I became a Research Lecturer and in 2014 an Associate Professor at the Oxford University Department of Computer Science. Since 2017 I am the Tutorial Fellow in Computer Science at St John's College.


DPhil Students



Current Students

Past Students

Ines Marusic
Cas Widdershoven