KIT – Fakultät für Informatik – Forschung - Forschungsgruppen

Institut für Anthropomatik und Robotik (IAR)

Forschungsgruppe	Kontakt	Portrait
Hochperformante Humanoide Technologien (H²T)	Prof. Dr. Tamim Asfour	PDF
Interaktive Echtzeitsysteme (IES)	Prof. Dr. Jürgen Beyerer	PDF
KI-Methoden für die Materialwissenschaften	Prof. Dr. Pascal Friederich	PDF
Mensch-Maschine-Interaktion und Barrierefreiheit (HCI)	Prof. Dr. Kathrin Gerling	PDF
Intelligente Sensor-Aktor-Systeme (ISAS)	Prof. Dr. Uwe Hanebeck	PDF
Intelligente Prozessautomation und Robotik (IPR)	Prof. Dr. Tamim Asfour	PDF
Optimization and Biomechanics for Human-Centred Robotics	Prof. Dr. Katja Mombaur	PDF
Autonome lernende Roboter (ALR)	Prof. Dr. Gerhard Neumann	PDF
Künstliche Intelligenz für Sprachtechnologien	Prof. Dr. Jan Niehues	PDF
Computer Vision for Human-Computer Interaction Lab (cv:hci)	Prof. Dr. Rainer Stiefelhagen	PDF
Zentrum für digitale Barrierefreiheit und Assistive Technologien (ACCESS∂KIT)	Prof. Dr. Rainer Stiefelhagen	PDF
Intelligent Robot Perception	Prof. Dr. Rudolph Triebel	PDF
Socially Assistive Robotics with Artificial Intelligence (SARAI)	T.-T.-Prof. Dr. Barbara Bruno	PDF
Intuitive Robots Lab (IRL)	T.-T.-Prof. Dr. Rudolf Lioutikov	PDF
Maschinelles Lernen und Künstliche Intelligenz	Jun.-Prof. Dr. Jan Stühmer	PDF

KASTEL – Institut für Informationssicherheit und Verlässlichkeit

Forschungsgruppe	Kontakt	Portrait
Anwendungsorientierte Formale Verifikation	Prof. Dr. Bernhard Beckert	PDF
Dezentrale Systeme und Netzdienste	Prof. Dr. Hannes Hartenstein	PDF
Modelling for Continuous Software Engineering	Prof. Dr. Anne Koziolek	PDF
Self-adaptive Software-intensive Systems	Prof. Dr. Raffaela Mirandola	PDF
Kryptographie und Sicherheit	Prof. Dr. Jörn Müller-Quade	PDF
Alexander-von-Humboldt-Professur für Logik autonomer dynamischer Systeme	Prof. Dr. André Platzer	PDF
Dependability of Software-intensive Systems	Prof. Dr. Ralf Reussner	PDF
Test, Validierung and Analyse von Software-Intensiven Systemen	Prof. Dr. Ina Schaefer	PDF
Praktische IT-Sicherheitsmethoden und -systeme	Prof. Dr. Thorsten Strufe	PDF
Artificial Intelligende and Security (IntelliSEC)	Prof. Dr. Christian Wressnegger	PDF
Modellierung und Analyse im Mobility Software Engineering	Jun.-Prof. Dr. Maike Schwammberger	PDF

Institut für Informations- und Wirtschaftsrecht (IIWR)

Forschungsgruppe	Kontakt	Portrait
IIWR-Boehm	Prof. Dr. Franziska Boehm	PDF
Öffentliches Recht und Informatik	T.-T.-Prof. Dr. Frederike Zufall	PDF
Informationsrecht für technische Systeme und Rechtsinformatik	apl. Prof. Dr. Oliver Raabe

Institut für Programmstrukturen und Datenorganisation (IPD)

Forschungsgruppe	Kontakt	Portrait
Systeme der Informationsverwaltung	Prof. Dr. Klemens Böhm	PDF
Methods for Big Data	Prof. Dr. Nadja Klein
Modelling for Continuous Software Engineering	Prof. Dr. Anne Koziolek	PDF
Dependability of Software-intensive Systems	Prof. Dr. Ralf Reussner	PDF

Institut für Technische Informatik (ITEC)

Forschungsgruppe	Kontakt	Portrait
Betriebssysteme	Prof. Dr. Frank Bellosa	PDF
Embedded Systems	Prof. Dr. Jörg Henkel	PDF
Rechnerarchitektur und Parallelverarbeitung	Prof. Dr. Wolfgang Karl	PDF
Dependable Nano Computing	Prof. Dr. Mehdi Baradaran Tahoori	PDF

Institut für Theoretische Informatik (ITI)

Forschungsgruppe	Kontakt	Portrait
Anwendungsorientierte Formale Verifikation	Prof. Dr. Bernhard Beckert	PDF
Informatik und ihre Didaktik	Prof. Dr. Tobias Kohn
Algorithms and Complexity	Prof. Dr. Marvin Künnemann
Exascale Algorithm Engineering	Prof. Dr. Henning Meyerhenke
Kryptographie und Sicherheit	Prof. Dr. Jörn Müller-Quade	PDF
Algorithm Engineering	Prof. Dr. Peter Sanders	PDF
High Performance Computing in den Lebenswissenschaften	Prof. Dr. Alexandros Stamatakis	PDF
Skalierbare Algorithmen und Verfahren für große Datenmengen	T.-T.-Prof. Dr. Thomas Bläsius	PDF
KI in den Klima- und Umweltwissenschaften	T.-T.-Prof. Dr. Peer Nowack	PDF
Intelligente Systemsicherheit	T.-T.-Prof. Dr. Christian Wressnegger	PDF

Institut für Telematik (TM)

Forschungsgruppe	Kontakt	Portrait
Cooperation & Management	Prof. Dr. Sebastian Abeck	PDF
Pervasive Computing Systems	Prof. Dr. Michael Beigl	PDF
Institut für Automation und angewandte Informatik	Prof. Dr. Veit Hagenmeyer	PDF
Dezentrale Systeme und Netzdienste	Prof. Dr. Hannes Hartenstein	PDF
Distributed and Parallel High Performance Systems	Prof. Dr. Achim Streit	PDF
Praktische IT-Sicherheitsmethoden und -systeme	Prof. Dr. Thorsten Strufe	PDF
Telematik	Prof. Dr. Martina Zitterbart	PDF
Künstliche Intelligenz für das Energiesystem	T.T.-Prof. Dr. Benjamin Schäfer	PDF

Institut für Visualisierung und Datenanalyse (IVD)

Forschungsgruppe	Kontakt	Portrait
Computergrafik	Prof. Dr. Carsten Dachsbacher	PDF

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üdiger Dillmann	Institut für Anthropomatik und Robotik
IIWR Dreier	Prof. Dr. Thomas Dreier KIT Distinguished Senior Fellow	Institut für Informations- und Wirtschaftsrecht
Embedded Systems	Prof. Dr. Winfried Görke	Institut für Technische Informatik
Rechnersysteme und Infrastruktur der Informationsverarbeitung	Prof. Dr. Wilfried Juling	Institut für Telematik / Scientific Computing Center (SCC)
Systeme der Informationsverwaltung	Prof. Dr. Peter Lockemann	Institut für Programmstrukturen und Datenorganisation
	Prof. Dr. Hans-Hellmut Nagel	Institut für Anthropomatik und Robotik
Management komplexer IT-Systeme	Prof. Dr. Bernhard Neumair	Institut für Telematik
Angewandte Geometrie	Prof. Dr. Hartmut Prautzsch	Institut für Visualisierung und Datenanalyse
Computergrafik	Prof. Dr. Alfred Schmitt	Institut für Visualisierung und Datenanalyse
Logik und Formale Methoden	Prof. Dr. Peter Schmitt	Institut für Theoretische Informatik
	Prof. Dr. Adolf Schreiner	Institut für Programmstrukturen und Datenorganisation
Programmierparadigmen	Prof. Dr. Gregor Snelting	Institut für Programmstrukturen und Datenorganisation
Programmiersysteme	Prof. Dr. Walter Tichy	Institut für Programmstrukturen und Datenorganisation
Informatik für Ingenieure und Naturwissenschaftler	Prof. Dr. Roland Vollmar	Institut für Theoretische Informatik
Algorithmik	Prof. Dr. Dorothea Wagner	Institut für Theoretische Informatik
Interactive Systems Lab (ISL)	Prof. Dr. Alexander Waibel	Institut für Anthropomatik und Robotik
Intelligente Prozessautomation und Robotik (IPR)	Prof. Dr. Heinz Wörn	Institut für Anthropomatik und Robotik