D1
Algorithms and Complexity
Prof. Danupon Na Nongkai, Ph.D.| Internet Architecture | Prof. Anja Feldmann, Ph.D. |
| Internet Security Measurements | Dr. Oliver Gasser |
| Network and Cloud Systems | Dr. Yiting Xia |
| Knowledge Harvesting | Prof. Dr. Gerhard Weikum |
| Knowledge Base Construction and Quality | Dr. Simon Razniewski |
| Searching, Mining, and Learning with Informal Text | Dr. Andrew Yates |
| Question Answering | Dr. Rishiraj Saha Roy |
| Independent research groups at MMCI: | |
| Exploratory Data Analysis | Dr. Jilles Vreeken |
| Molecular Networks in Medical Bioinformatics (former group) | Dr. Mario Albrecht |
| Computational Systems Biology (former group) | Dr. Jan Baumbach |
| Computational Epigenetics | Dr. Christoph Bock and Prof. Dr. Thomas Lengauer |
| Structural Bioinformatics of Protein Interactions | Dr. Olga Kalinina |
| Statistical Learning in Computational Biology | Dr. Nico Pfeifer |
| High-Throughput Genomics and Systems Biology (Excellence Cluster on Multimodal Computing and Interaction) | Dr. Marcel Schulz |
| Formal Methods and Theoretical Computer Science | Prof. Dr. Viorica Sofronie-Stokkermans |
| Arithmetic Reasoning | Priv.-Doz. Dr. Thomas Sturm |
| First-Order Model Checking | Dr. Uwe Waldmann |