KIT – Department of Informatics – Research - Research Groups

Institute for Anthropomatics and Robotics (IAR)

Forschungsgruppe	Kontakt
High Performance Humanoid Technologies (H²T)	Prof. Dr. Tamim Asfour
Vision and Fusion Laboratory (IES)	Prof. Dr. Jürgen Beyerer
Intelligent Sensor-Actuator-Systems (ISAS)	Prof. Dr. Uwe Hanebeck
Intelligent Process Automation and Robotics Lab (IPR)	Prof. Dr. Torsten Kröger (Beurlaubt aus dienstl. Interesse)
Autonomous Learning Robots (ALR)	Prof. Dr. Gerhard Neumann
Artificial Intelligence for Language Technologies	Prof. Dr. Jan Niehues
Computer Vision for Human-Computer Interaction Lab (cv:hci)	Prof. Dr. Rainer Stiefelhagen
Interactive Systems Lab (ISL)	Prof. Dr. Alexander Waibel
Health Robotics and Automation	Jun.-Prof. Dr. Franziska Mathis-Ullrich

Institute of Information Security and Dependability (KASTEL)

Forschungsgruppe	Kontakt
Application-oriented Formal Verification	Prof. Dr. Bernhard Beckert
Decentralized Systems and Network Services	Prof. Dr. Hannes Hartenstein
Modelling for Continuous Software Engineering	Prof. Dr. Anne Koziolek
Cryptography and Security	Prof. Dr. Jörn Müller-Quade
Dependability of Software-intensive Systems	Prof. Dr. Ralf Reussner
Alexander von Humboldt Professorship for Logic of Autonomous Dynamical Systems	Prof. Dr. André Platzer
Testing, Validation and Analysis of Software-Intensive Systems	Prof. Dr. Ina Schaefer
Practical IT Security	Prof. Dr. Thorsten Strufe
Intelligent System Security	Tenure-Track -Prof. Dr. Christian Wressnegger

Institute for Information and Economic Law (IIWR)

Forschungsgruppe	Kontakt
IIWR-Boehm	Prof. Dr. Franziska Boehm
IIWR-Dreier	Prof. Dr. Thomas Dreier
IIWR Öffentliches Recht	Dr. Johannes Eichenhofer (Lehrstuhlvertretung)
Informationsrecht für technische Systeme und Rechtsinformatik	apl. Prof. Dr. Oliver Raabe

Institute for Program Structures and Data Organization (IPD)

Forschungsgruppe	Kontakt
Program Structures and Data Organization (IPD)	Prof. Dr. Klemens Böhm
Modelling for Continuous Software Engineering	Prof. Dr. Anne Koziolek
Dependability of Software-intensive Systems	Prof. Dr. Ralf Reussner
Programming paradigms	Prof. Dr. Gregor Snelting

Institute of Computer Engineering (ITEC)

Research Group	Contact
Operating Systems	Prof. Dr. Frank Bellosa
Embedded Systems	Prof. Dr. Jörg Henkel
Computer Architecture and Parallel Programming	Prof. Dr. Wolfgang Karl
Dependable Nano Computing	Prof. Dr. Mehdi Baradaran Tahoori

Institute of Theoretical Informatics (ITI)

Forschungsgruppe	Kontakt
Application-oriented Formal Verification	Prof. Dr. Bernhard Beckert
Cryptography and Security	Prof. Dr. Jörn Müller-Quade
Algorithm Engineering	Prof. Dr. Peter Sanders
Reliable software systems in the automotive industry (gefördert vom Daimler-Fonds im Stifterverband für die Deutsche Wissenschaft)	Prof. Dr. Carsten Sinz
High Performance Computing in den Lebenswissenschaften	Prof. Dr. Alexandros Stamatakis
Algorithmics	Prof. Dr. Dorothea Wagner
Fixed-Point Numerical Algorithms	Jun.-Prof. Dr. Hartwig Anzt
Scalable Algorithms	Tenure-Track-Prof. Dr. Thomas Bläsius
Artificial Intelligence for Materials Sciences	Tenure-Track-Prof. Dr. Pascal Friederich
Intelligent System Security	Tenure-Track -Prof. Dr. Christian Wressnegger

Institute of Telematics (TM)

Forschungsgruppe	Kontakt
Cooperation & Management	Prof. Dr. Sebastian Abeck
Pervasive Computing Systems	Prof. Dr. Michael Beigl
Institute for Automation and Applied Informatics	Prof. Dr. Veit Hagenmeyer
Decentralized Systems and Network Services	Prof. Dr. Hannes Hartenstein
Management komplexer IT-Systeme	Prof. Dr. Bernhard Neumair
Distributed and Parallel High Performance Systems	Prof. Dr. Achim Streit
Praktische IT-Sicherheitsmethoden und -systeme	Prof. Dr. Thorsten Strufe
Telematik	Prof. Dr. Martina Zitterbart

Institute for Visualization and Data Analysis (IVD)

Forschungsgruppe	Kontakt
Computer Graphics	Prof. Dr. Carsten Dachsbacher
Applied Geometry	Prof. Dr. Hartmut Prautzsch

Verbundene Professoren

Forschungsgruppe

Kontakt

Institut

Intelligente Produktion und Cloud-Robotik

Prof. Dr. Björn Hein

Institut für Anthropomatik und Robotik

Sichtprüfsysteme

apl. Prof. Dr. Thomas Längle

Institut für Anthropomatik und Robotik

Rechner- und Kommunikationsnetze

Prof. Dr. Oliver Waldhorst

Institut für Telematik

Emeritierte und pensionierte Professorinnen und Professoren

Forschungsgruppe	Kontakt	Institut
Humanoids and Intelligence Systems Lab	Prof. Dr. R. Dillmann	Institut für Anthropomatik und Robotik
Embedded Systems	Prof. Dr. Winfried Görke	Institut für Technische Informatik
	Prof. Dr. Wilfried Juling	Institut für Telematik / Steinbuch Centre for Computing
Systeme der Informationsverwaltung	Prof. Dr. P. Lockemann	Institut für Programmstrukturen und Datenorganisation
ILKD Menzel	Prof. Dr. W. Menzel	Institut für Theoretische Informatik
	Prof. Dr. H. Nagel	Institut für Anthropomatik und Robotik
Computergrafik	Prof. Dr. Alfred Schmitt	Institut für Visualisierung und Datenanalyse
Logik und Formale Methoden	Prof. Dr. P. Schmitt	Institut für Theoretische Informatik
	Prof. Dr. A. Schreiner	Institut für Programmstrukturen und Datenorganisation
Programmiersysteme	Prof. Dr. W. Tichy	Institut für Programmstrukturen und Datenorganisation
Informatik für Ingenieure und Naturwissenschaftler	Prof. Dr. Roland Vollmar	Institut für Theoretische Informatik
Intelligente Prozessautomation und Robotik (IPR)	Prof. Dr. H. Wörn	Institut für Anthropomatik und Robotik