KIT Department of Informatics

KIT Department of Informatics

Research Groups

Institut für Angewandte Informatik (IAI)

Forschungsgruppe	Kontakt
Energiesystemmodellierung (ESM)	Dr. Thomas Brown

Institut für Anthropomatik und Robotik (IAR)

Forschungsgruppe	Kontakt
Hochperformante Humanoide Technologien (H2T)	Prof. Dr. T. Asfour
Interaktive Echtzeitsysteme (IES)	Prof. Dr. J. Beyerer
Intelligente Sensor-Aktor-Systeme (ISAS)	Prof. Dr. U. Hanebeck
Intelligente Prozessautomation und Robotik (IPR)	Prof. Dr. T. Kröger (Beurlaubt aus dienstl. Interesse)
Autonome lernende Roboter	Prof. Dr. G. Neumann
Computer Vision for Human-Computer Interaction Lab (cv:hci)	Prof. Dr. R. Stiefelhagen
Interactive Systems Lab (ISL)	Prof. Dr. A. Waibel
Health Robotics and Automation	Jun.-Prof. Dr. F. Mathis-Ullrich

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
Architekturgetriebene Anforderungstechnik	Prof. Dr. Anne Koziolek	PDF
Kryptographie und Sicherheit	Prof. Dr. Jörn Müller-Quade	PDF
Prof. Dr. Ralf Reussner	Prof. Dr. Ralf Reussner	PDF
Praktische IT-Sicherheitsmethoden und -systeme	Prof. Dr. Thorsten Strufe	PDF
Intelligente Systemsicherheit	Jun.-Prof. Dr. Christian Wressnegger

Institut für Informations- und Wirtschaftsrecht (IIWR)

Forschungsgruppe	Kontakt
IIWR-Boehm	Prof. Dr. F. Boehm
IIWR-Dreier	Prof. Dr. T. Dreier
IIWR Öffentliches Recht	Dr. J. Eichenhofer (Lehrstuhlvertretung)
Informationsrecht für technische Systeme und Rechtsinformatik	apl. Prof. Dr. O. Raabe

Institut für Programmstrukturen und Datenorganisation (IPD)

Forschungsgruppe	Kontakt
Systeme der Informationsverwaltung	Prof. Dr. K. Böhm
Architekturgetriebene Anforderungstechnik	Prof. Dr. A. Koziolek
Software-Entwurf und Qualität	Prof. Dr. R. Reussner
Programmierparadigmen	Prof. Dr. G. Snelting

Institut für Technische Informatik (ITEC)

Forschungsgruppe	Kontakt
Betriebssysteme	Prof. Dr. F. Bellosa
Embedded Systems	Prof. Dr. J. Henkel
Rechnerarchitektur und Parallelverarbeitung	Prof. Dr. W. Karl
Dependable Nano Computing	Prof. Dr. M. Tahoori

Institut für Theoretische Informatik (ITI)

Forschungsgruppe	Kontakt
Anwendungsorientierte Formale Verifikation	Prof. Dr. B. Beckert
Kryptographie und Sicherheit	Prof. Dr. J. Müller-Quade
Algorithmik II	Prof. Dr. P. Sanders
Zuverlässige Softwaresysteme in der Automobilindustrie (gefördert vom Daimler-Fonds im Stifterverband für die Deutsche Wissenschaft)	Prof. Dr. C. Sinz
High Performance Computing in den Lebenswissenschaften	Prof. Dr. A. Stamatakis
Algorithmik I	Prof. Dr. D. Wagner
Skalierbare Algorithmen und Verfahren für große Datenmengen	Jun.-Prof. Dr. T. Bläsius
KI-Methoden für die Materialwissenschaften	Jun.-Prof. Dr. P. Friederich
Intelligente Systemsicherheit	Jun.-Prof. Dr. C. Wressnegger

Institut für Telematik (TM)

Forschungsgruppe	Kontakt
Cooperation & Management	Prof. Dr. S. Abeck
Pervasive Computing Systems	Prof. Dr. M. Beigl
Institut für Automation und angewandte Informatik	Prof. Dr. V. Hagenmeyer
Dezentrale Systeme und Netzdienste	Prof. Dr. H. Hartenstein
Management komplexer IT-Systeme	Prof. Dr. B. Neumair
Distributed and Parallel High Performance Systems	Prof. Dr. A. Streit
Praktische IT-Sicherheitsmethoden und -systeme	Prof. Dr. T. Strufe
Telematik	Prof. Dr. M. Zitterbart

Institut für Visualisierung und Datenanalyse

Forschungsgruppe	Kontakt
Computergrafik	Prof. Dr. C. Dachsbacher
Angewandte Geometrie	Prof. Dr. H. Prautzsch

Verbundene Professuren
Research Group	Contact	Institute
Intelligente Prozessautomation und Robotik (IPR)	Prof. Dr. B. Hein	Institut für Anthropomatik und Robotik
Waldhorst	Prof. Dr. Oliver Waldhorst	Institut für Telematik
Intelligente Prozessautomation und Robotik (IPR)	Prof. Dr.-Ing. habil. T. Längle	Institut für Anthropomatik und Robotik

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. em. Dr. W. Görke	Institut für Technische Informatik
Systeme der Informationsverwaltung	Prof. em. Dr. P. Lockemann	Institut für Programmstrukturen und Datenorganisation
ILKD Menzel	Prof. em. Dr. W. Menzel	Institut für Theoretische Informatik
	Prof. em. Dr. H. Nagel	Institut für Anthropomatik und Robotik
Computergrafik	Prof. em. Dr. A. Schmitt	Institut für Visualisierung und Datenanalyse

Logik und Formale Methoden	Prof. Dr. P. Schmitt	Institut für Theoretische Informatik
	Prof. em. Dr. A. Schreiner	Institut für Programmstrukturen und Datenorganisation
IIWR-Dreier	Prof. em. Dr. H. Schulte	Institut für Informations- und Wirtschaftsrecht
Programmiersysteme	Prof. Dr. W. Tichy	Institut für Programmstrukturen und Datenorganisation
Kryptographie und Sicherheit	Prof. em. Dr. R. Vollmar	Institut für Theoretische Informatik
Intelligente Prozessautomation und Robotik (IPR)	Prof. Dr. H. Wörn	Institut für Anthropomatik und Robotik