I have moved to the University of Leicester and have a new homepage.

Update (January 2018): I am very excited to be joining the University of Leicester as a lecturer starting at the end of January.

Update (July 2017): I have moved to The University of Texas at Austin, where I am a Research Fellow working with Prof. Ufuk Topcu.

I was a postdoctoral researcher at Max Planck Institute for Software Systems working with Prof. Rupak Majumdar. I obtained my Ph.D. at Saarland University under the supervision of Prof. Bernd Finkbeiner.