Sebastian Junges

Sebastian Junges is an Assistant Professor in the Software Science Group at Radboud University, Nijmegen, since 2021. He holds a PhD in Computer Science from RWTH Aachen University (2020), and previously worked as a PostDoc at UC Berkeley (2020-2021) and a Research Assistant at RWTH Aachen (2015-2020). His research focuses on formal methods for analyzing safety-critical systems, particularly using extensions of Markov decision processes (MDPs) to ensure dependability in automated systems like network protocols, hardware architectures, and robotics.

• Education:
  • PhD in Computer Science, RWTH Aachen University, 2020
  • M.Sc. in Computer Science, RWTH Aachen University, 2015
  • B.Sc. in Computer Science, RWTH Aachen University, 2012

His research interests include probabilistic verification, policy synthesis for MDPs, and the intersection of formal methods with artificial intelligence. He has contributed to tools like the Storm probabilistic model checker and led projects on scalable analysis of probabilistic models. His work addresses challenges like ensuring safe decision-making in autonomous systems and certifying compliance with safety standards through rigorous algorithmic approaches.

Publications focus on advancing MDP analysis, POMDPs, and robust policy synthesis. Recent trends include integrating uncertainty management, decision-tree-based approaches, and compositional verification techniques. He actively contributes to conferences like CAV, AAAI, and TACAS, and serves on program committees and steering groups for formal methods and AI.