leitet seit 1. April 2007 die Abteilung Algebraische und logische Grundlagen der Informatik am Institut für Informatik der Universität Leipzig.

In wenigen Sekunden werden sie auf die neue Homepage weitergeleitet.