Insofern sich die Sätze der Mathematik
auf die Wirklichkeit beziehen,
sind sie nicht sicher, und sofern sie sicher sind,
beziehen sie sich nicht auf die Wirklichkeit.
Albert Einstein
Willkommen am Institut für Informatik
Welcome to the Department of Computer Science
Our group has the goal of building a bridge between questions one faces while dealing with real-life problems and the theoretical theorems of pure Mathematics. We use our research in a variety of areas of Mathematics and Computer Science to obtain solutions application-driven and in close cooperation with industrial partners. This transfer of scientific knowledge into industry also inspires innovative directions for our basic research and our curriculum.