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.