Stefan Kiefer

Stefan Kiefer

Associate Professor

Royal Society Research Fellow

Tutorial Fellow, St John's College

E: stekie delete this at cs.ox.ac.uk

T: +44 (0)1865 273 864

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

Interests

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

If you are considering doing a DPhil, feel free to contact me.

Recent talks

Teaching

Professional Service

PC member of FoSSaCS'18
PC member of FCT'17
PC member of ICALP'17
PC member of CAV'17
PC member of STACS'16
Instructor at the ENS Lyon winter school 2015 on Probabilistic Techniques and Models in Computer Science
PC member of MEMICS'15
PC member of Highlights'15
Member of the EPSRC Peer Review College, since 2014

Biography

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. I hold 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.