2026
- ARCH-COMP26 Repeatability Evaluation Report. Proceedings of 13th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), 2026 more… BibTeX Full text (mediaTUM)
Nico Holzinger, M.Sc.
Technical University of Munich
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
Postal address
Boltzmannstr. 3
85748 Garching b. München
- E-mail: nico.holzinger@tum.de
Curriculum Vitae
Nico Holzinger joined the Cyber-Physical-Systems Group as a Ph.D. candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2025. Nico has received his bachelor's degree from FH Joanneum Graz in Aviation and his master's degree from the University of Stuttgart in Aerospace engineering.
His research interests include formal methods and observers.
Offered Thesis Topics
Please feel free to contact me if you are interested in observers, formal methods, and set-based computations. Kindly provide a brief introduction, including your personal research interests, your strongest research capabilities, and any enthusiasm for mathematics, as this is advantageous. Additionally, please attach your transcript and CV.