Scholar
Stefan Kiefer
Google Scholar ID: Kr0pjvwAAAAJ
Professor of Computer Science, University of Oxford
Citations & Impact
Citations
768
H-index
15
i10-index
27
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Published multiple papers; invited speaker at several international conferences such as ICALP 2020, TASE'23, Trends in Concurrency Theory'22, etc.; served as PC member for numerous international conferences like MFCS'24, LICS'23, ICALP'23, etc.; member of the EPSRC Peer Review College since 2014.
Research Experience
- Postdoctoral positions, including a DAAD postdoctoral fellowship, at the University of Oxford from 2009 to 2013; Royal Society University Research Fellow for the project on Quantitative Analysis of Infinite-State Systems from 2013 to 2021; became a Research Lecturer in 2013 and an Associate Professor in 2014 at the Oxford University Department of Computer Science; Tutorial Fellow in Computer Science at St John's College since 2017; Professor of Computer Science at the University of Oxford since 2023.
Education
- Received undergraduate degree in computer science from the University of Stuttgart in 2005; completed doctoral degree (Dr. rer. nat., summa cum laude) at TU München in 2009 under the supervision of Javier Esparza.
Background
- Interests include verification, probabilistic models, infinite-state systems, program analysis, and automata theory.
Miscellany
- Supervised several DPhil students and postdocs.
Co-authors