Prof. Dr. Niklas Kochdumper

Professor of Electrical Engineering and Automation Technology

Faculty: Fakultät M

Research

  • Formal Verifikation using Reachability Analysis
  • Set-based Computing
  • Safe-by-Construction Controller Synthesis
  • AI Verification
  • System Identification
  • Autonomous Driving

Vita

Since 2025: Junior Professor at THI
2024 – 2025: Cite Universite Paris (France) - Postdoctoral Researcher
2021 – 2023: Stony Brook University (USA) - Postdoctoral Researcher
2018 – 2021: TU München - PhD Student
2015 – 2017: TU München - Master Robotics, Cognition, Intelligence
2012 – 2015: TU München - Bachelor Mechanical Engineering