Profile

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

People

58

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

 

Publications

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