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 (65)
satisfiability10
markov-chain10
mdp10
modulo10
storm10
checker10
machine-learning10
model-checking10
sat10
probabilistic10
python-bindings10
smt9
python9
ranking9
theorem9
Programming languages (12)
Github contributions (5)
moves-rwth/dynasty
Apr 2019 - Feb 2023
Contributions:48 pushes, 1 branch, 7 issues in 3 years 10 months
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-chainmodel-checkingparameters
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.