Tobias Ladner

I am a researcher at the Technical University of Munich, specializing in AI safety with a focus on the formal verification of neural networks and cyber-physical systems. My research is dedicated to ensuring that AI systems perform reliably in safety-critical applications.

I am also the administrator of CORA — a toolbox that supports my work in neural network verification (and more!).

For collaboration inquiries or more information, please email me at tobias.ladner@tum.de or visit my university profile. I am a member of the DFG-funded project Formal Verification of Analog AI Hardware (FAI). A list of publications is available below.

• [September 2025] I am excited to announce my 6-month research stay at Prof. Yasser Shoukry's lab at UC Irvine, USA.
• [April 2025] I am proud to present our paper "Formally Verifying Analog Neural Networks With Device Mismatch Variations" at Design, Automation and Test in Europe Conference.