Max Planck Gesellschaft
20 participants- Anne-Kathrin Schmuck Faculty, Max Planck Institute for Software Systems Control Software Systems Group
- Anthony Lin Max-Planck Fellow, University of Kaiserslautern-Landau Automated Reasoning
- Asia Biega Faculty, Max Planck Institute for Security and Privacy Responsible Computing Group
- Bernt Schiele Scientific Director, Max Planck Institute for Informatics Computer Vision and Machine Learning
- Ceren Kocaoğullar Applied Scientist, Amazon Web Services Automated Reasoning Group
- Christoph Weidenbach Faculty, Max Planck Institute for Informatics Automation of Logic
- Derek Dreyer Scientific Director, Max Planck Institute for Software Systems Foundations of Programming Group
- Dionysios Adamopoulos PhD Researcher, Max Planck Institute for Software Systems Sustainable, Programmable and Intelligent Computing Systems Group
- Georg Zetzsche Faculty, Max Planck Institute for Software Systems Models of Computation Group
- Gilles Barthes Scientific Director, Max Planck Institute for Security and Privacy MPI-SP
- Joël Ouaknine Scientific Director, Max Planck Institute for Software Systems Foundations of Algorithmic Verification
- Manuel Gomez Rodriguez Faculty, Max Planck Institute for Software Systems AI, Computing and Society
- Meeyoung Cha Scientific Director, Max Planck Institute for Security and Privacy Data Science for Humanity
- Omer Moussa PhD Researcher, Max Planck Institute for Software Systems Bridging AI and Neuroscience (BrAIN)
- Richard Petri Research Engineer, Max Planck Institute for Security and Privacy Cryptographic Engineering
- Rupak Majumdar Scientific Director, Max Planck Institute for Software Systems Programming Languages & Verification
- Sadegh Soudjani Research Group Leader, Max Planck Institute for Software Systems Cyber-Physical Systems
- Stefan Zetzsche Applied Scientist, Amazon Web Services Automated Reasoning Group
- Tomasz Kociumaka Research Group Leader, Max Planck Institute for Informatics Algorithms and Complexity
- Yiting Xia Faculty, Max Planck Institute for Informatics Networks and Cloud Systems