Description: Doctoral Researcher
I am a PhD Student at Karlsruhe Institute of Technology advised by Bernhard Beckert at the Application-oriented Formal Verification group. I’m interested in formal methods for software and machine learning verification with a focus on cyber-physical systems and algorithmic fairness.
I previously obtained a M.Sc. degree in Computer Science from KIT and completed my Master’s Thesis in the Logical Systems Lab at Carnegie Mellon University under the supervision of André Platzer . During my bachelor studies I spent a year abroad at ENSIMAG (Grenoble, France) and participated in the CERN Openlab Summer Student Program (Geneva, Switzerland).
PhD Student in Computer Science, 2022-present