M.Sc. Niklas Kochdumper
85748 Garching b. München
- Tel.: +49 (89) 289 - 18144
Niklas Kochdumper, M.Sc.
Niklas Kochdumper is currently a research assistant and Phd student under the supervison of Prof. Dr.-Ing. Matthias Althoff. He obtained his bachelor's degree in Mechanical Engineering and his master's degree in Robtic, Cognition, Intelligence both at the Technichal University of Munich.
- Formal verification of hybrid systems
- Reachability Analysis
Currently, Niklas Kochdumper is involved in the following research project:
Please contact me (email or visit my office) if you are interested in one of the offered topics. If none of them suit your interest, but you are anyway interested in my research area, you are also welcome to contact me.
- BA/MA: Improvements of Interval Matrix Exponentiation applied to Reachability Analysis for Linear Systems with uncertain parameters
- Seminar (4 ECTS) Cyber-physical systems