Institut für Theoretische Informatik, Algorithmik

Lilian Beckert