Mitarbeiter Büro Anja Feldmann – Spokesperson Rupak Majumdar – Deputy Spokesperson Maria-Louise Albrecht – Coordinator Jennifer Gerling – Coordinator Faculty MPI für Informatik Zeynep Akata – Multimodal Deep Learning Karl Bringmann – Algorithms and Complexity Dengxin Dai – Vision for Autonomous Systems Anja Feldmann – Internet Architecture Oliver Gasser – Internet Security Measurements Olga Kalinina – Drug Bioinformatics Andreas Karrenbauer – Combinatorial Optimization Christoph Lenzen – Theory of Distributed and Embedded Systems Kurt Mehlhorn – Algorithms and Complexity Karol Myszkowski – HDR Imaging, Perception, and Advanced Displays Danupon Nanongkai – Algorithm and Complexity Gerard Pons-Moll – Real Virtual Humans Simon Razniewski – Knowledge Base Construction and Quality Rishiraj Saha Roy – Question Answering Bernt Schiele – Computer Vision and Machine Learning Hans-Peter Seidel – Computer Graphics Paul Swoboda – Combinatorial Computer Vision Christian Theobalt – Visual Computing and Artificial Intelligence Christoph Weidenbach – Automation of Logic Gerhard Weikum – Databases and Information Systems Andrew Yates – Searching, Mining, and Learning with Informal Text Yiting Xia – Network and Cloud Systems MPI for Softwaresysteme Björn Brandenburg – Real-Time Systems Maria Christakis – Practical Formal Methods Derek Dreyer – Foundations of Programming Peter Druschel – Distributed Systems Paul Francis – Privacy Issues Surrounding Online Tracking Deepak Garg – Foundations of Computer Security Manuel Gomez Rodriguez – Machine Learning and Large-scale Data Mining Methods Krishna Gummadi – Social Computing Keon Jang – Computer Networks and Systems Jonathan Mace – Cloud Software Systems Rupak Majumdar – Rigorous Software Engineering Joel Ouaknine – Foundations of Algorithmic Verification Adish Singla – Machine Teaching Viktor Vafeiadis – Software Analysis and Verification Georg Zetzsche – Models of Computation Universität des Saarlandes Sven Apel – Software Engineering Markus Bläser – Computational Complexity Vera Demberg – Computer Science and Computational Linguistics Jens Dittrich – Big Data Analytics Sebastian Hack – Compiler Design Thorsten Herfet – Telecommunications Holger Hermanns – Dependable Systems and Software Jörg Hoffmann – Foundations of Artificial Intelligence Antonio Krüger – Ubiquitous Media Technology Hans-Peter Lenhof – Bioinformatics Jan Reineke – Real-Time and Embedded Systems Lab Raimund Seidel – Theoretical Computer Science Phillip Slusallek – Computer Graphics Jürgen Steimle – Human-Computer Interaction and Interactive Technologies Isabel Valera – Machine Learning Joachim Weickert – Mathematical Image Analysis Verena Wolf – Modeling and Simulation TU Kaiserslautern Karsten Berns – Robotics Research Lab Andreas Dengel – Knowledge-Based Systems Stefan Deßloch – Heterogenous Information Systems Christoph Garth – Scientific Visualization Lab Nicolas Gauger – Scientific Computing Christoph Grimm – Design of Cyber-Physical Systems Ralf Hinze – Programming Language Marius Kloft – Machine Learning Heike Leitte – Visual Information Analysis Anthony Lin – Automated Resaoning Paul Lukowicz – Embedded Intelligence Sebastian Michel – Databases and Information Systems Jens Schmitt – Distributed Computer Systems Klaus Schneider – Embedded Systems Pascal Schweitzer – Algorithms and Complexity Katharina Zweig – Algorithm Accountability