Samuel Teuber is a PhD candidate at Karlsruhe Institute of Technology (KIT) in Germany, advised by Bernhard Beckert at the Application-Oriented Formal Verification group. His research develops logical foundations and practical tools for the verification of *AI-based heterogeneous systems*, that is, systems combining software, AI, and physical components. Concrete applications are the formal verification of neural network control systems and the verification of algorithmic fairness. Previously, h