is head of the group Algebraische und logische Grundlagen der Informatik at the Institute for Computer Science, University of Leipzig, since April 2007.

In a few seconds you will be redirected to the new homepage.