I am a postdoctoral researcher at Max Planck Institute for Software Systems working with Prof. Rupak Majumdar. Before that, I was a Ph.D. student in the Computer Science Department at Saarland University.