KIT – Department of Informatics – Research - Research Groups

Institute for Anthropomatics and Robotics (IAR)

Research Group	Contact
High Performance Humanoid Technologies (H²T)	Prof. Dr. Tamim Asfour
Vision and Fusion Laboratory (IES)	Prof. Dr. Jürgen Beyerer
Human-Computer Interaction and Accessibility (HCI)	Prof. Dr. Kathrin Gerling
Intelligent Sensor-Actuator-Systems (ISAS)	Prof. Dr. Uwe Hanebeck
Intelligent Process Automation and Robotics Lab (IPR)	Prof. Dr. Tamim Asfour
Optimization and Biomechanics for Human-Centred Robotics	Prof. Dr. Katja Mombaur
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
Intelligent Robot Perception	Prof. Dr. Rudolph Triebel
Socially Assistive Robotics with Artificial Intelligence (SARAI)	T.-T.-Prof. Dr. Barbara Bruno
Intuitive Robots Lab (IRL)	T.-T.-Prof. Dr. Rudolf Lioutikov
Machine Learning and Artificial Intelligence	Jun.-Prof. Dr. Jan Stühmer

Institute of Information Security and Dependability (KASTEL)

Research Group	Contact
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
Self-adaptive Software-intensive Systems	Prof. Dr. Raffaela Mirandola
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
Modeling and Analysis in Mobility Software Engineering	Jun.-Prof. Dr. Meike Schwammberger
Intelligent System Security	T.-T.-Prof. Dr. Christian Wressnegger

Institute for Information and Economic Law (IIWR)

Research Group	Contact
IIWR-Boehm	Prof. Dr. Franziska Boehm
Public Law and Computer Science	T.-T.-Prof. Dr. Frederike Zufall
Informationsrecht für technische Systeme und Rechtsinformatik	apl. Prof. Dr. Oliver Raabe

Institute for Program Structures and Data Organization (IPD)

Research Group	Contact
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

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)

Rseaerch Group	Contact
Application-oriented Formal Verification	Prof. Dr. Bernhard Beckert
Didactics of Computer Science	Prof. Dr. Tobias Kohn
ITI Künnemann	Prof. Dr. Marvin Künnemann
Cryptography and Security	Prof. Dr. Jörn Müller-Quade
Algorithm Engineering	Prof. Dr. Peter Sanders
High Performance Computing in den Lebenswissenschaften	Prof. Dr. Alexandros Stamatakis
Scalable Algorithms	T.-T.-Prof. Dr. Thomas Bläsius
Artificial Intelligence for Materials Sciences	T.-T.-Prof. Dr. Pascal Friederich
AI in Climate and Environmental Sciences	T.-T.-Prof. Dr. Peer Nowack
Intelligent System Security	T.-T.-Prof. Dr. Christian Wressnegger

Institute of Telematics (TM)

Research Group	Contact
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
Distributed and Parallel High Performance Systems	Prof. Dr. Achim Streit
Pri vacy and Security	Prof. Dr. Thorsten Strufe
Telematik	Prof. Dr. Martina Zitterbart
Artificial Intelligence for the energy system	T.T.-Prof. Dr. Benjamin Schäfer

Institute for Visualization and Data Analysis (IVD)

Research Group	Contact
Computer Graphics	Prof. Dr. Carsten Dachsbacher
Applied Geometry	Prof. Dr. Hartmut Prautzsch

Affiliated Professors

Research Group

Contact

Institute

Intelligente Produktion und Cloud-Robotik

Prof. Dr. Björn Hein

Institut für Anthropomatik und Robotik

Inspektion und Optronische Systeme

apl. Prof. Dr. Thomas Längle

Institut für Anthropomatik und Robotik

Rechner- und Kommunikationsnetze

Prof. Dr. Oliver Waldhorst

Institut für Telematik

Emeritus and retired Professors

Research Group	Contact	Institute
Humanoids and Intelligence Systems Lab	Prof. Dr. Rüdiger Dillmann	Institute for Anthropomatics and Robotics
IIWR Dreier	Prof. Dr. Thomas Dreier KIT Distinguished Senior Fellow	Institute for Information and Economic Law
Embedded Systems	Prof. Dr. Winfried Görke	Institute of Computer Engineering
	Prof. Dr. Wilfried Juling	Institute of Telematics / Steinbuch Centre for Computing
Systeme der Informationsverwaltung	Prof. Dr. Peter Lockemann	Institute for Program Structures und Data Organization
	Prof. Dr. Hans-Hellmut Nagel	Institute for Anthropomatics and Robotics
Management of Complex IT-Systems	Prof. Dr. Bernhard Neumair	Institute of Telematics / Steinbuch Centre for Computing
Computergrafik	Prof. Dr. Alfred Schmitt	Institute for Visualization und Data Analysis
Logic and Formal Methods	Prof. Dr. Peter Schmitt	Institute of Theoretical Informatics
	Prof. Dr. Adolf Schreiner	Institute for Program Structures und Data Organization
Programming Paradigms	Prof. Dr. Gregor Snelting	Institute for Program Structures und Data Organization
Programming Systems	Prof. Dr. Walter Tichy	Institute for Program Structures und Data Organization
Informatik für Ingenieure und Naturwissenschaftler	Prof. Dr. Roland Vollmar	Institute of Theoretical Informatics
Algorithmics	Prof. Dr. Dorothea Wagner	Institute of Theoretical Informatics
Interactive Systems Lab (ISL)	Prof. Dr. Alexander Waibel	Institute for Anthropomatics and Robotics
Intelligente Prozessautomation und Robotik (IPR)	Prof. Dr. Heinz Wörn	Institute for Anthropomatics and Robotics