ER01: Probabilistic Techniques and Models in Computer Science

      (7-11 December), Lyon

StefanHead

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. Since 2013 I am a Research Lecturer and since 2014 an Associate Professor at the Oxford University Department of Computer Science.

https://www.cs.ox.ac.uk/people/stefan.kiefer/