Faculty MPI für Informatik Vahid Babaei – Artificial Intelligence aided Design and Manufacturing Martin Bromberger – Arithmetic Reasoning Anja Feldmann – Internet Architecture Tobias Fiebig – Internet Architecture Andreas Karrenbauer – Combinatorial Optimization Jan Eric Lenssen – Geometric Representation Learning Karol Myszkowski – HDR Imaging, Perception, and Advanced Displays Danupon Nanongkai – Algorithm and Complexity Bernt Schiele – Computer Vision and Machine Learning Hans-Peter Seidel – Computer Graphics Gurprit Singh – Sampling and Rendering Christian Theobalt – Visual Computing and Artificial Intelligence Christoph Weidenbach – Automation of Logic Yiting Xia – Network and Cloud Systems MPI für Softwaresysteme Björn Brandenburg – Real-Time Systems Derek Dreyer – Foundations of Programming Peter Druschel – Distributed Systems Deepak Garg – Foundations of Computer Security Manuel Gomez Rodriguez – Machine Learning Krishna Gummadi – Social Computing Antoine Kaufmann – Operating Systems Rupak Majumdar – Rigorous Software Engineering Joel Ouaknine – Foundations of Algorithmic Verification Anne-Kathrin Schmuck – Control Software Systems Adish Singla – Machine Teaching Mariya Toneva – Bridging AI and Neuroscience Viktor Vafeiadis – Software Analysis and Verification Georg Zetzsche – Models of Computation RPTU Kaiserslautern-Landau Karsten Berns – Robotics Research Lab Annette Bieniusa – Software Technology: Programming Distributed Systems 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 Sebastian Vollmer – Data Science and its Applications Katharina Zweig – Algorithm Accountability Universität des Saarlandes Sven Apel – Software Engineering Markus Bläser – Computational Complexity Karl Bringmann – Algorithms and Complexity Vera Demberg – Computer Science and Computational Linguistics Jens Dittrich – Big Data Analytics Anna Maria Feit – Computational Interaction Alexey Gurevich – Human-Microbe Systems Bioinformatics Sebastian Hack – Compiler Design Thorsten Herfet – Telecommunications Holger Hermanns – Dependable Systems and Software Jörg Hoffmann – Foundations of Artificial Intelligence Olga Kalinina – Drug Bioinformatics Benjamin Kaminski – Quantitative Verification Antonio Krüger – Ubiquitous Media Technology Hans-Peter Lenhof – Bioinformatics Martina Maggio – Real-time Systems Fabian Müller – Integrative Cellular Biology and Bioinformatics Peter Ochs – Mathematical Optimization for Data Science 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 Ingmar Weber – Societal Computing Joachim Weickert – Mathematical Image Analysis Verena Wolf – Modeling and Simulation