Dr. Sebastian Junges

Biography

Sebastian Junges is an Assistant Professor in Software Science at Radboud University. His research primarily focuses on autonomous systems and critical infrastructure, emphasizing the need for robust computational support for modeling, validation, and verification of systems. He utilizes a model-based approach, where he pays particular attention to algorithmic support for models that explicitly account for uncertainty. His research involves working with probabilistic model checkers and SAT/SMT solvers to analyze extensions of Markov Decision Processes (MDPs), with a focus on parametric partially observable MDPs. Moreover, his work is largely driven by the development and implementation of various algorithms relevant to these fields.

Research Interests