I am a Doctoral Researcher 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.
For many of my projects I use Julia – in particular for Neural Network Verification.