Foto von Niklas Kochdumper

M.Sc. Niklas Kochdumper


Boltzmannstr. 3
85748 Garching b. München

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.

Research Interests

  • Formal verification of hybrid systems
  • Reachability Analysis

Currently, Niklas Kochdumper is involved in the following research project:

Offered Thesis

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.


SS 2018

- Seminar (4 ECTS) Cyber-physical systems