Skip to main content

Stefan Kiefer

Personal photo - Stefan Kiefer

Stefan Kiefer

Professor of Computer Science

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, and since 2023 Professor of Computer Science at the University of Oxford.


DPhil Students



Current Students

Past Students

Oscar Darwin
Ines Marusic
Cas Widdershoven