Teaching Staff

From International Center for Computational Logic
Toggle side column

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