Uncertainties, which, for example, occur in large datasets, vague measurements, or imprecise models, are the key focus of this research training group. Adequately treating these uncertainties is one of the greatest challenges in computer science. The aim is to apply theoretical computer science and optimization techniques to practical problems, with a clear focus on uncertainty and imprecision – such as those that nowadays arise in big data. A combined effort using computer science, mathematics, economics, and engineering enables to investigate these questions with complementary approaches while obtaining a fruitful cross-fertilization between theory and practice.
The DFG will fund the training of 15 doctoral candidates with 5.4 million euros. 12 RWTH professors are part of the research training group. The speaker is Professor Joost-Pieter Katoen, heading the Chair on Software Modeling and Verification.