Sebastian Junges
Assistant Professor at Radboud University
Nijmegen, Gelderland, Netherlands
Summary
👤
Senior🎓
Top SchoolSebastian Junges is an Assistant Professor in computer science at Radboud University with 14 years of experience building algorithmic decision-making tools for safety-critical systems. His research sits at the intersection of formal methods and AI, focusing on extensions of Markov decision processes to certify dependable behavior in domains from UAVs and railroad infrastructure to network protocols and hardware. He holds a PhD with distinction from RWTH Aachen and brings postdoctoral experience from UC Berkeley’s LearnVerify group, combining deep theory with applied tool development. Sebastian’s work addresses practical certification questions—such as safe drone landing and automotive test-suite generation—by reasoning about system evolution under uncertainty. Beyond academia, he has led student engineering teams and contributed to SMT solvers and statistical model checkers, reflecting a hands-on approach to turning formal insights into working systems.
14 years of coding experience
6 years of employment as a software developer
VWO (High School), VWO (High School) at S.G. AugustinianumPhD (Dr. rer. nat), Computer Science, with Distinction, PhD (Dr. rer. nat), Computer Science, with Distinction at RWTH Aachen University
German, Dutch, English
Github Skills (51)
markov-chain10
mdp10
machine-learning10
model-checking10
checker10
z310
python-bindings10
markov-model10
satisfiability9
ranking9
science8
json-parser7
storm7
json7
placement7
Programming languages (13)
Github contributions (5)
sjunges/sjunges.github.io
Nov 2020 - Feb 2026
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Contributions:96 pushes, 3 branches, 1 comment in 5 years 3 months
templategithub-pages-templatemmistakesmistakesjekyll
moves-rwth/prophesy
Sep 2014 - Dec 2019
Parameter Synthesis in Markov Models
Contributions:541 commits, 1 PR, 8 pushes in 5 years 4 months
markov-modelmodel-checkingparametersmarkov-chain
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.