Professur für Algebraische und logische Grundlagen der Informatik