Foto von Niklas Kochdumper

M.Sc. Niklas Kochdumper

Postadresse

Postal:
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.

Teaching

SS 2018

- Seminar (4 ECTS) Cyber-physical systems

WS 2018/19

- Seminar (4 ECTS) Cyber-physical systems

Publications

2018

  • Althoff, M.; Grebenyuk, D.; Kochdumper, N.: Implementation of Taylor Models in CORA 2018. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018 more… BibTeX Full text (mediaTUM)
  • Immler, F.; Althoff, M.; Chen, X.; Fan, C.; Frehse, G.; Kochdumper, N.; Li, Y.; Mitra, S.; Tomar, M. S.; Zamani, M.: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018 more… BibTeX Full text (mediaTUM)
  • M. Althoff, S. Bak, X. Chen, C. Fan, M. Forets, G. Frehse, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling and S. Schupp: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018, 23-52 more… BibTeX Full text (mediaTUM)