6 Million Euro Funding for UnRAVeL


The German Research Foundation (DFG) has approved the renewal proposal of the interdisciplinary research training group "UnRAVeL - Uncertainty and Randomness in Algorithms, Verification, and Logic" and will fund the training of 12 PhD students with 6 million euros. 


The goal of the graduate program, which has been in existence since 2017, is to significantly advance probabilistic modeling and analysis of uncertainty by developing new theories, algorithms, and verification techniques, and to apply them to key problems in safety, planning, and operational reliability and performance analysis. To this end, a team of 12 professors provides an optimal research environment for the fellows. Speaker of the Graduate College is also speaker of the Steering Committee and chair of the Department of Computer Science 2 Joost-Pieter Katoen.

We warmly congratulate all participants!

For more information, please go to the UnRAVeL page here.