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.