Multidrug-resistant bacteria are among the greatest medical challenges of our time. To significantly improve the development of new antibiotics, the German Research Center for Artificial Intelligence (DFKI), Saarland University, the Helmholtz Institute for Pharmaceutical Research Saarland (HIPS), and the biotechnology company smartbax GmbH have launched the collaborative project OptimAIze.The project…
MPI-SWS Scientific Director Rupak Majumdar has been awarded an ERC Advanced Grant worth approximately €2.5 million for his project „Pascal: Formal Performance Analysis at Scale“. The project aims to develop new mathematical foundations and practical tools for analyzing and verifying the performance and resilience of large-scale distributed computer systems. Whether…
The ACM Special Interest Group on Programming Languages (SIGPLAN) has awarded their 2026 Distinguished Service Award to MPI-SWS Scientific Director Derek Dreyer. The award citation reads as follows: Derek Dreyer has set an exemplary standard of service within the PL community. Throughout the years, Derek has served in almost every…
