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.