About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

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

Bernhard Ganter
Professor for Algebraic Structure Theory

Steffen Hölldobler
Professor for Knowledge Representation and Reasoning

Sebastian Rudolph
Professor for Computational Logic

Michael Schroeder
Professor for Bioinformatics

Emeritus Professors

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