Abteilung TI

Deutsch

Prof. Dr. rer. nat. habil. Markus Lohrey

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

Contact Research Topics Logic in computer science Computational complexity Models for concurrency Data compression Combinatorial group theory    Publications Recent talks Teaching CV

Organisational activities

• STACS 2006

• AutoMathA 2007

• Dagstuhl-Seminar Algorithmic-Logical Theory of Infinite Structures

• Dagstuhl-Seminar Structure-Based Compression of Complex Massive Data

• Workshop on Computational Complexity and Decidability in Algebra (colocated with CSR 2007)

• 17. Theorietag Automaten und Formale Sprachen