Tobias Meggendorfer is an Assistant Lecturer at Lancaster University Leipzig at the School of Computing & Communications. Previously, he was Post-Doc at the Institute of Science and Technology Austria (ISTA) / Chatterjee group (2022-2023), after obtaining his PhD (with distinction) at the Technical University Munich (TUM). His research focusses on various aspects of formal verification of probabilistic systems. In particular, he aims to establish a broader recognition for notions of risk in such systems and usage of risk-aware verification.
