
| Department 1: | Algorithms and Complexity | Prof. Dr. Kurt Mehlhorn |
|---|---|---|
| Foundations and Discrete Mathematics | Prof. Dr. Benjamin Doerr | |
| Combinatiorial Optimization | Dr. Chien-Chung Huang | |
| Dr. Andreas Karrenbauer | ||
| Prof. Dr. Kurt Mehlhorn | ||
| Bio-Inspired Computation | Prof. Dr. Kurt Mehlhorn | |
| Geometric Computing | Dr. Michael Sagraloff | |
| Algorithmic Game Theory | Dr. Martin Hoefer | |
| Priv.-Doz. Dr. Rob van Stee |
| Department 2: | Computer Vision and Multimodal Computing | Prof. Dr. Bernt Schiele |
|---|---|---|
| Perceptual User Interfaces | Dr. Andreas Bulling | |
| Scalable Learning and Perception | Dr. Mario Fritz |
| Department 4: | Computer Graphics | Prof. Dr. Hans-Peter Seidel |
|---|---|---|
| High Dynamic Range Imaging | Dr. Karol Myszkowski | |
| Rendering and GPUs | Dr.-Ing. Tobias Ritschel | |
| Graphics, Vision & Video | Prof. Dr. Christian Theobalt | |
| Statistical Geometry Processing | Dr. Michael Wand | |
| Feature-Based Data Analysis for Computer Graphics and Visualization | Dr.-Ing. Tino Weinkauf |
| Department 5: | Databases and Information Systems | Prof. Dr. Gerhard Weikum |
|---|---|---|
| Web and Text Mining | Dr. Srikanta Bedathur | |
| Ranking and Uncertain Data Management | Dr. Martin Theobald | |
| Scalable Management of Uncertain Data | Dr. Rainer Gemulla | |
| Distributed Data and Communities | Dr. Mauro Sozio | |
| Knowledge Harvesting | Prof. Dr. Gerhard Weikum |
| Independent Research Group: | Computational Genomics and Epidemiology | Dr. Alice McHardy |
|---|
| Research Group 1: | Automation of Logic | Prof. Dr. Christoph Weidenbach |
|---|---|---|
| Reasoning in Complex Theories | Prof. Dr. Viorica Sofronie-Stokkermans | |
| Effective Quantifier Elimination | Priv.-Doz. Dr. Thomas Sturm | |
| First-Order Model Checking | Dr. Uwe Waldmann |
| Otto Hahn Research Group: | Ontologies | Dr. Fabian M. Suchanek |
|---|
| Department 2: | Programming Logics | Prof. Dr. Harald Ganzinger |
|---|