Sebastian Junges

This website is under construction

I am a researcher and have been a PostDoc at UC Berkeley since March 2020. I am part of the Learn and Verify Group, headed by Sanjit Seshia.

Previously, I was a PhD student at RWTH Aachen University, under the supervision of Joost-Pieter Katoen. I defended my PhD thesis titled Parameter Synthesis in Markov Models (pdf) in February 2020.

Research Interest

I am broadly interested in the automatic analysis of critical systems. This interest includes modelling and verification aspects. In particular, I am interested in the analysis of models that explicitly model uncertainty.

Some models and methods I often work with are:


For now, please refer to DBLP or Google Scholar for an overview of my publications.

Tool support

Over the years, I’ve been involved in the development of the following tools to advance the state-of-the-art in computer aided verification:


Professional Activities

Invited Talks

I have given invited talks at:

Moreover, I have given (external) seminar talks at ISCAS (Beijing), IST Austria, LaBRI (Bordeaux), Stanford, UC Berkeley, ULB (Brussels), and at the ROCKS Meetings.

PC Membership

External Reviewer


ATVA, ADHS, CAV, CDC, Concur, FM, FORTE, Gandalf, HVC, ICALP, iFM, MMB, PSI, QEST, SafeComp.


FMSD, J.Systems and Software, JCST, Machine Learning, STTT

Organised Events

I co-organised the 1st and 2nd UnRAVEL Spring Meetings.

Event participation


Thesis supervision


Seminar Projects

Guest lectures