dr. J.S.L. Junges (Sebastian)

Universitair docent - Software Science

dr. J.S.L. Junges (Sebastian)
Bezoekadres

Toernooiveld 212
6525 EC NIJMEGEN
Interne postcode: 47

Postadres

Postbus 9010
6500 GL NIJMEGEN

Werkdagen maandag, dinsdag, woensdag, donderdag, vrijdag

Broadly, my research is in the analysis of autonomous systems and critical infrastructure. Key aspects of my research cover the computational support for modelling, validation and verification of these systems.

Most of my research is model-based, and I lay particular focus on the algorithmic support for models that explicitly model uncertainty.
More precisely, I often work with probabilistic model checkers and SAT/SMT solvers. I analyze extensions of Markov decision processes (MDPs), in particular also parametric or partially observable MDPs. My research is largely driven by the development and implementation of algorithms.