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…
Madhavan Venkatesh, a postdoctoral scholar in the Foundations of Algorithmic Verification group, has been selected for the prestigious IIT Kanpur Outstanding PhD Thesis Award for his doctoral research on Algorithmic Arithmetic Geometry. Congratulations Madhavan! Read more: https://cse.iitk.ac.in/
Martina Maggio wurde mit einem Advanced Grant des Europäischen Forschungsrats (ERC) ausgezeichnet, einem der renommiertesten Förderprogramme in Europa. Mit bis zu 2,5 Millionen Euro Förderung möchte die Informatikerin die Zertifizierung der Sicherheit computergesteuerter Systeme verbessern, die zeitlichen Schwankungen während des Betriebs unterliegen. Diese grundlegende Herausforderung moderner cyber-physikalischer Systeme hat weitreichende…
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…
