 Algorithmen und KomplexitätEntwicklung und Analyse von Algorithmen, insbesondere randomisierte Algorithmen und probabilistische Analyse von Algorithmen, kombinatorische Optimierung, Algorithmen für Computernetze, algorithmische Spieltheorie |
 | |
| Prof. Dr. Berthold Vöcking | ||
 Theoretische InformatikEffiziente Algorithmen, parametrisierte Komplexität, Algorithmen für harte Probleme, algorithmische Lerntheorie |
 | |
| Prof. Dr. Peter Rossmanith | ||
 Algorithmische SpieltheorieAlgorithmen für rationale Agenten, Dynamik und Konvergenz in Netzwerken, Verteilte Algorithmen, Berechnung von Gleichgewichten, Mechanism Design |
 | |
| Prof. Dr. Martin Hoefer | ||
 Softwaremodellierung und VerifikationModellierung und Model-Checking von quantitativen Systemen, Semantik, Testen. |
 |  |
| Prof. Dr. Ir. Joost-Pieter Katoen | Prof. Dr. Klaus Indermark, Emeritus | |
 Programmiersprachen und VerifikationProgrammanalyse, Programmverifikation, Termersetzung, Automatische Deduktion |
 | |
| Prof. Dr. Jürgen Giesl | ||
 Theorie Hybrider SystemeVerifikation und Synthese hybrider und probabilistischer Systeme, Erfüllbarkeitsüberprüfung |
 | |
| Prof. Dr. Erika Ábrahám | ||
 Software EngineeringKonzepte, Sprachen, Methoden und Werkzeuge für die Softwareentwicklung |
 |  |
| Prof. Dr. Bernhard Rumpe | Prof. Dr. Dr.h.c. Manfred Nagl, Emeritus | |
 Software-KonstruktionSoftware-Prozesse und Prozessverbesserung, Software-Qualitätssicherung, Moderne Software-Konstruktionsverfahren |
 | |
| Prof. Dr. Horst Lichter | ||
 Kommunikation und Verteilte SystemeEntwicklung und Evaluation von Kommunikationsnetzen und Verteilten Systemen, Sicherheit, Mobile Kommunikation |
 |  |
| Prof. Dr. Klaus Wehrle | Prof. Dr. Dr.h.c. Otto Spaniol, Emeritus | |
 Mobile Network PerformanceAlgorithmen und Protokolle für adaptive drahtlose Kommunikationsnetze; Analytische und simulative Methoden der Leistungsbewertung von drahtlosen Kommunikationsnetzen |
 | |
| Prof. Dr. James Gross | ||
 Informationssysteme und DatenbankenMetadatenverwaltung und Datenbanken, Community-Informationssysteme, Informationssysteme in Ingenieurwissenschaften, Information Retrieval und Visualisierung |
 | |
| Prof. Dr. Matthias Jarke | ||
 Wissensbasierte SystemeKünstliche Intelligenz, Wissensrepräsentation, Kognitive Robotik. |
 | |
| Prof. Gerhard Lakemeyer, Ph.D. | ||
 Fraunhofer Institut für Angewandte Informationstechnik (FIT)Visuell gestütztes Wissensmanagement/Life Science Informatik, Kooperationssysteme/CSCW, Medieninformatik/Medienprozesse |
 |  |  |
| Prof. Dr. Thomas Berlage | Prof. Wolfgang Prinz, Ph.D. | Prof. Dr. Thomas Rose | |
 Sprachverarbeitung und MustererkennungSpracherkennung, Sprachuebersetzung, Sprachverarbeitung, Mustererkennung, Computer-Vision |
 | |
| Prof. Dr. Hermann Ney | ||
 Logik und Theorie diskreter SystemeAutomatentheorie und Logik, algorithmische Verifikation und Synthese |
 |  |
| Prof. Dr. Dr.h.c. Wolfgang Thomas | Prof. Dr. Walter Oberschelp, Emeritus | |
 Mathematische Grundlagen der InformatikLogik in der Informatik, Algorithmische Spieltheorie, Algorithmische Modelltheorie, Komplexität |
 | |
| Prof. Dr. Erich Grädel | ||
 Computergraphik und MultimediaComputergraphik, Geometrieverarbeitung, Polygonnetze, Bildsynthese, Geometrische Modellierung, CAD/CAM, CAGD, Visualisierung, Interaktive Systeme, Unterteilungsflächen |
 | |
| Prof. Dr. Leif Kobbelt | ||
 Mobile Multimedia ProcessingComputer Vision, Maschinelles Lernen, Objekterkennung, Tracking, Selbst-Lokalisierung, 3D Rekonstruktion, Vision-Anwendungen für mobile Robotik und intelligente Fahrzeuge |
 | |
| Prof. Dr. Bastian Leibe | ||
 Datenmanagement und -explorationData Mining, Datenexploration, Ähnlichkeitssuche, Multimedia- Datenbanken, räumliche und temporale Datenbanken, wissenschaftliche Datenbanken, effiziente Anfragebearbeitung, Indexstrukturen |
 | |
| Prof. Dr. Thomas Seidl | ||
 Computerunterstütztes LernenComputerunterstütztes Lernen, Didaktisches Design, Test-, Prüf- und Rückmeldesysteme |
 | |
| Prof. Dr. Ulrik Schroeder | ||
 Medieninformatik und Mensch-Computer-InteraktionMensch-Computer-Interaktion (HCI), Benutzerschnittstellen für Audio und Video, intelligente Räume, Multitouch-Systeme, interaktive Exponate und Guidesysteme, Ubiquitous, Physical, Tangible und Wearable Computing, Personal Fabrication, Benutzerschnittstellen für Softwareentwicklung |
 | |
| Prof. Dr. Jan Borchers | ||
 Software für eingebettete SystemeEntwurfs- und Analysemethoden für softwareintensive eingebettete Systeme, sicherheitskritische eingebettete Systeme, Model-Checking und statische Analyse, automotive Software-Design |
 | |
| Prof. Dr.-Ing. Stefan Kowalewski | ||
 HochleistungsrechnenAutomatisches und rechnergestütztes Differenzieren, Sensitivitätsanalyse, Semantische Erweiterung von Programmen, Hochleistungsrechnen, Paralleles Rechnen, Grid Computing, Problemlösungsumgebungen, Virtuelle Realität, Numerische Lineare Algebra, Computational Science and Engineering |
 | |
| Prof. Dr.-Ing. H. Martin Bücker (Vertretung der Lehrstuhlleitung) | ||
 Software and Tools for Computational Engineeringautomatisches Differenzieren (AD), Compiler-basietes AD, kombinatorische Probleme in AD, Algorithmen und Software für die Programmanalyse und -transformation |
 | |
| Prof. Dr. Uwe Naumann | ||
 Virtuelle RealitätDreidimensionale, multimodale Interaktionstechniken (haptische und akustische Schnittstellen), immersive Visualisierung, Algorithmen zur explorativen Analyse komplexer technisch-physikalischer Prozesse, Entwicklung von VR-Lösungen in den Anwendungsbereichen Maschinenbau (Anlagenbau, Robotik), Simulation Science, Medizin (virtuelle Chirurgie, Regionalanästhesie, Neuropsychologie) |
 | |
| Prof. Dr. Torsten Kuhlen | ||
 Scientific ComputingParallele Algorithmen, Combinatorial Scientific Computing, Programmtransformationen, Computational Science and Engineering |
| |
| Prof. Dr.-Ing. H. Martin Bücker | ||
 IT-SecuritySicherheit in mobilen, drahtlosen, dezentralen Netzen, Design und Analyse von Sicherheitsarchitekturen für heterogene Netze, Angewandte Kryptographie, Privacy, AAA Architekturen |
 | |
| Prof. Dr. Ulrike Meyer | ||
 Automation and High Performance ComputingAutomatische Generierung und Analyse von Algorithmen, performante lineare Algebra auf Mehrkernprozessoren und Supercomputern, Performanceschätzungen, Eigensolvers, Fließkommaarithmetik |
 | |
| Prof. Paolo Bientinesi, Ph.D. | ||
 Parallele ProgrammierungParallele Programmierung, Parallele Performanz, Leistungsanalysewerkzeuge |
 | |
| Prof. Dr. Felix Wolf | ||