Teaching Staff
Teaching Staff
Professors
Franz Baader
Professor for Automata Theory
Christel Baier
Professor for Algebraic and Logical Foundations of CS
Manuel Bodirsky
Professor for Algebra and Discrete Structures
Steffen Hölldobler
Professor for Knowledge Representation and Reasoning
Markus Krötzsch
Group Leader Knowledge Systems
Sebastian Rudolph
Professor for Computational Logic
Michael Schroeder
Professor for Bioinformatics
Anni-Yasmin Turhan
Akademische Rätin (Research Associate and Lecturer) Automata Theory
Emeritus Professors
Bernhard Ganter
Professor for Algebraic Structure Theory until 2015
Reinhard Pöschel
Professor for Universal Algebra until 2012
Horst Reichel
Professor for Algebraic and Logical Foundations of CS until 2006
Former Professors
Paola Bruscoli
Replacement professor for Computational Logic from April 2011 until September 2012
Barbara Morawska
Replacement professor for Computational Logic from October 2012 until March 2013
Michael Thielscher
Professor for Computational Logic until 2010
Heiko Vogler
Professor for Foundations of Programming, ICCL professor until 2013
- MCL
