Deutsche Seite

Insofern sich die Sätze der Mathe­ma­tik auf die Wirk­lich­keit be­ziehen, sind sie nicht sicher, und so­fern sie sicher sind, beziehen sie sich nicht auf die Wirk­lichkeit.

Albert Einstein

Group Schrader

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.