Tobias Ladner

PhD student, Technische Universität München
Joined
May 2023

Names

Tobias Ladner (Preferred)

Emails

****@tum.de (Confirmed)

Personal Links

Career & Education History

PhD student
Technische Universität München (tum.de)
2022 – Present
MS student
Technische Universität München (tum.de)
2019 – 2022
Undergrad student
Technische Universität München (tum.de)
2016 – 2019

Advisors, Relations & Conflicts

PhD Advisor
Matthias Althoff
2022 – Present

Expertise

neural networks
, 
formal verification
, 
set-based computation
Present

Publications

View all 20 publications

Co-Authors