The focus of the interdisciplinary Research Training 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

Opening © Copyright: Tim Lange

Overview over all past UnRAVeL-Events. Photo: UnRAVeL

more...zu: Archive of Events


Gender & Diversity

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

read more...zu: Gender & Diversity


Guest researcher

On regulary basis guest researchers give talks for UnRAVel auitorium. 

more...zu: Guest researcher



Books © Copyright: (c)Lukas Netz - Do not use without my permission.

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

more...zu: Publications