Tobias Ladner, M.Sc.
Technical University of Munich
Informatics 6 - Associate Professorship of Cyber Physical Systems (Prof. Althoff)
Postal address
Postal:
Boltzmannstr. 3
85748 Garching b. München
- Office hours: appointment by email
- Room: 5607.03.039
- tobias.ladner@tum.de
Curriculum Vitae
Tobias Ladner joined the Cyber-Physical-Systems Group as a Ph.D. candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2022. Tobias has received both, his master's degree and his bachelor's degree in Informatics from the Technical University of Munich in 2021 and 2019, respectively.
His research interests include formal verification of neural networks and neural-network-controlled systems. He is a member of the DFG-funded project “Formal Verification of Analog AI Hardware (FAI)“.
Offered Thesis Topics
I am always looking for self-motivated students that want to work in my research area. If you are interested in writing your thesis in one of the mentioned available topics or the field of my interests in general, please write me a mail containing CV, transcript, and a concise statement of motivation.
Available Topics
- Currently, there are no vacant thesis topics.
- If you are interested in writing a thesis in my research area, I am looking forward to your initiative application. Please include a short research proposal stating what area you are specifically interested in.
Teaching
Practical Course – Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4269)
- Implementation of Algorithms for formal Neural Network Verification in CORA
Recent Topics:
Seminar – Cyber-Physical Systems (IN2107, IN4813)
- Literature Research on Neural Networks and their Application in Formal Verification
Recent Topics:
Lecture – Formal Methods for Cyber-Physical Systems (IN2383)