Prof. Dr. Tobias Meggendorfer
Professur
Computational Mathematics
Kontakt
Wissenschaftliche Laufbahn und Forschungsgebiete
Prof. Meggendorfer's Forschungsgebiet ist der Bereich der Formalen Methoden, insbesondere Verifikation probabilistischer Systeme. Momentan liegt sein primärer Fokus auf der Definition verschiedener Konzepte von Risko in solchen Systemen sowie die risikobewusste Verifikation. Außerdem leistet er u.A. Beiträge zu den Bereichen von LTL und Omega-Automaten, Machine Learning in Verifikation, und Spieltheorie.
Prof. Meggendorfer studierte und erlangte Master-Titel sowohl in Mathematik als auch Informatik an der TUM. Darauf folgte eine Promotion an der TUM unter Prof. Jan Kretinsky und ein Post-Doc am Institute of Science and Technology Austria mit der Chatterjee Gruppe. Seit 2023 ist Prof. Meggendorfer Vertretungsprofessor an der TUM.
Schlüsselpublikationen (alle Publikationen)
Jan Křetínský, Tobias Meggendorfer, and Maximilian Weininger: "Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives". In: LICS 2023.
AbstractKrishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, and Jakub Svoboda: "Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth". In: SODA 2023.
AbstractTobias Meggendorfer: "Risk-Aware Stochastic Shortest Path." In: AAAI 2022.
AbstractJan Křetínský, Tobias Meggendorfer, and Salomon Sickert: "Owl: A Library for ω-Words, Automata, and LTL". In: ATVA 2018.
AbstractJan Křetínský, and Tobias Meggendorfer: "Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes". In: LICS 2018.
Abstract