Profile

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

People

58

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

more...zu: People

 

Archive of Events

Opening

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

 

Publications

Books

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

more...zu: Publications