I am a postdoctoral researcher in the group of Prof. Sanjit A. Seshia in the EECS Department at UC Berkeley. I obtained my doctoral degree (Dr. rer. nat.) in Computer Science from Saarland University in Saarbrücken, Germany, under the supervision of Prof. Bernd Finkbeiner.
My research interests are the formal specification, verification, and synthesis of cyber-physical systems. I especially lay the focus on the investigation of quantitative approaches for verifying and explaining the behavior of learning-enabled cyber-physical systems.