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.