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