The focus of the interdisciplinary Research Traing Group UnRAVeL is to significantly advance probabilistic modelling and analysis for uncertainty by developing new theories, algorithms, and tool-supported verification techniques, and to apply them to core problems of security, planning, and safety and performance analysis. To tackle these research challenges, theoretical computer scientists from computer-aided verification, logic and games, algorithms and complexity, together with experts from management science, and railway engineering form the core of this Research Training Group. 

more...zu: Profile



The UnRAVeL team is growing continuously since the beginning of October 2017.

more...zu: People


DFG - German Research Foundation

The Research training group UnRAVeL is funded by the German Research Foundation (DFG).

more...zu: DFG - German Research Foundation


Archive of Events


Overview over all past UnRAVeL-Events. Photo: UnRAVeL

more...zu: Archive of Events


Gender & Diversity

dummy teaser bild

UnRAVeL speaks up for the equality of opportunity and the equalisation of academics.

read more...zu: Gender & Diversity


Guest researcher

Guest Talk

On regulary basis guest researchers give talks for UnRAVel auitorium. 

more...zu: Guest researcher




Overview of all released publications related to UnRAVeL. Photo: Lukas Netz

more...zu: Publications