The Max Planck Institute for Software Systems
studies the principles of efficient, dependable, secure, and usable computing systems, as well as their interaction with the physical and social context in which they operate.
We conduct foundational research in relevant areas of computer science and beyond, covering theory, empirical analysis, and data-driven investigation. We seek impact through publications, artifacts, and people.
Tenure-track Openings at Max Planck Institutes in Computer Science
The Max Planck Institutes in Computer Science invite applications for tenure-track faculty in all areas of computer science. We expect to fill several positions. Review of applications will begin by December 1st, 2022.
Sandra Kiefer joins MPI-SWS
Sandra Kiefer has joined the institute as a research group leader. Her research interests include algorithmic and structural graph theory as well as logic in computer science, with a recent focus on the applicability of tools from these areas to the study of biochemical networks.
Joël Ouaknine appointed ACM Fellow
Joël Ouaknine was appointed as a Fellow by the Association for Computing Machinery, for his contributions to algorithmic analysis of dynamical systems.
Adish Singla awarded ERC Starting Grant
Adish Singla has been awarded an ERC Starting Grant of 1.5 million euros for his project "Machine-Assisted Teaching for Open-Ended Problem Solving: Foundations and Applications".
Ralf Jung receives ACM Doctoral Dissertation Award Honorable Mention
Ralf Jung's doctoral dissertation on "Understanding and Evolving the Rust Programming Language" has received the ACM Doctoral Dissertation Award Honorable Mention.
Joint Lecture Series
07 Jun 2023, 12:15 pm - 1:15 pm
Why do large language models align with human brains: insights, opportunities, and challenges
Language models that have been trained to predict the next word over billions ...
Joint Lecture Series
03 May 2023, 12:15 pm - 1:15 pm
Digital Humans: From Sensor Measurements to Deeper Understanding and Synthesis
The earliest paintings depicting a human date back to the Stone Age. Since ...
27 Apr 2023, 4:00 pm - 5:00 pm
2vyper: Contracts for Smart Contracts
Alexander J. Summers
Smart contract languages are increasingly popular and numerous, and their programming models and ...
24 Apr 2023, 10:00 am - 11:00 am
Automating cryptographic code generation
Cryptography provides the data protection mechanisms that underlie security and privacy in the ...