I am 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.