Spotlight

How to Trust the Output of Your Program

By Adrian Neumann

Certifying algorithms prove their answers; an important tool when looking for correct software implamentation of complex algorithms. Our framework for verifying checkers guarantees instance correctness of such algorithms.

[ Read more... ]

Directors & Senior Researchers

Mario Albrecht
Ernst Althaus
Klaus Berberich
Andreas Bulling
Benjamin Doerr
Mario Fritz
Rainer Gemulla
Martin Hoefer
Olga Kalinina
Thomas Lengauer (Director)
Nicole Megow
Kurt Mehlhorn (Director)
Sebastian Michel
Pauli Miettinen
Karol Myszkowski
Antti Oulasvirta
Michael Sagraloff
Thomas Sauerwald
Bernt Schiele (Director)
Hans-Peter Seidel (Director)
Viorica Sofronie-Stokkermans
Rob van Stee
Jürgen Steimle
Thomas Sturm
Fabian M. Suchanek
He Sun
Christian Theobalt
Michael Wand
Christoph Weidenbach
Gerhard Weikum (Director)
Tino Weinkauf