Skip to content

Stefan Kiefer

Dr Stefan Kiefer

Dr Stefan Kiefer


He received his undergraduate degree in computer science at the University of Stuttgart in 2005. He completed his 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 he had postdoctoral positions, including a DAAD postdoctoral fellowship, at the University of Oxford. He holds a Royal Society University Research Fellowship for his project on Quantitative Analysis of Infinite-State Systems. Since 2013 he has been a Research Lecturer and since 2014 an Associate Professor at the Oxford University Department of Computer Science.


International Exchanges CommitteeJanuary 2015 - December 2020Member
Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.