
| Department 1: | Algorithms and Complexity | Prof. Dr. Kurt Mehlhorn |
|---|---|---|
| Foundations and Discrete Mathematics | Priv.-Doz. Dr. Benjamin Doerr | |
| Combinatiorial Optimization | Dr. Khaled Elbassioni | |
| Prof. Dr. Kurt Mehlhorn | ||
| Bio-Inspired Computation | Dr. Frank Neumann | |
| Geometric Computing | Dr. Michael Sagraloff | |
| Algorithmic Game Theory | Priv.-Doz. Dr. Rob van Stee |
| Department 3: | Computational Biology and Applied Algorithmics | Prof. Dr. Dr. Thomas Lengauer |
|---|---|---|
| Molecular Networks in Medical Bioinformatics | Dr. Mario Albrecht | |
| Computational Epigenetics | Dr. Christoph Bock |
| Department 4: | Computer Graphics | Prof. Dr. Hans-Peter Seidel |
|---|---|---|
| Rendering and Alternative Representations | Dr. Elmar Eisemann | |
| Multimedia Retrieval | Dr. Meinard Müller | |
| High Dynamic Range Imaging | Dr. Karol Myszkowski | |
| Integrative Scientific Computing | Dr. Robert Strzodka | |
| 3D Video and Vision-based Graphics | Dr. Christian Theobalt | |
| Image-based 3D Scene Analysis | Dr. Thorsten Thormählen | |
| Statistical Geometry Processing | Dr. Michael Wand |
| 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 | |
| Query Processing and Optimization | Dr. Thomas Neumann | |
| Distributed Data and Communities | Dr. Mauro Sozio | |
| Knowledge Harvesting | Prof. Dr. Gerhard Weikum |
| Independent Research Group 1: | Computational Genomics and Epidemiology | Dr. Alice McHardy |
|---|
| Research Group 1: | Automation of Logic | Prof. Dr. Christoph Weidenbach |
|---|---|---|
| Reasoning in Complex Theories | Priv.-Doz. Dr. Viorica Sofronie-Stokkermans | |
| First-Order Model Checking | Dr. Uwe Waldmann |
| Department 2: | Programming Logics | Prof. Dr. Harald Ganzinger |
|---|