Sebastian Junges

Dr. Sebastian Junges is an Assistant Professor at the Software Science Group of Radboud University (Nijmegen, Netherlands) since September 2021. He previously held postdoctoral and research assistant positions at UC Berkeley and RWTH Aachen University respectively, working under prominent researchers like Sanjit Seshia and Joost-Pieter Katoen.

• Education:
  • Ph.D. 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 focuses on trustworthy algorithms for system dependability, particularly in safety-critical domains like autonomous systems and infrastructure automation. Key technical contributions include:

• Verification algorithms for Markov decision processes (MDPs)
• Parameter synthesis in probabilistic models
• Finite state controller generation
• Runtime monitoring with imprecise sensors

Recent work (2022-2024) has explored multi-objective verification, neuro-symbolic reasoning, and scalable analysis of probabilistic models. His methodological approach combines formal methods with machine learning and automated reasoning techniques, often implemented in the state-of-the-art Storm probabilistic model checking framework.

Selected scientific contributions include:

• Keynote speaker at MODEM 2024
• Invited tutorial presenter at Dagstuhl 2024
• Co-organizer of multiple VeriProp workshops (2021-2024)
• Program committee member for TACAS 2026, CONCUR 2024, and CAV 2024

He actively supervises Bachelor and Master student projects in algorithm development for probabilistic systems, including topics on:

• MDP model checking acceleration
• Runtime monitoring frameworks
• Syntax-guided controller synthesis
• State estimation for fault trees
• Probabilistic inference transpilation

His academic service includes:

• Radboud Science Faculty Diversitee Committee
• Steering Committee of ETAPS (2025-2026)
• Program committee roles across 15+ top venues