Professor Derek Dreyer, wissenschaftlicher Direktor des Max-Planck-Instituts für Softwaresysteme. Foto: Oliver Dietze Professor Derek Dreyer, wissenschaftlicher Direktor am Max-Planck-Institut für Softwaresysteme (MPI-SWS), wurde für seine Forschung gleich zweifach international ausgezeichnet. Die Association for Computing Machinery (ACM), die weltweit größte wissenschaftliche Gesellschaft im Bereich Informatik, hat ihn zum „Fellow“ ernannt. Zudem hat…
Sogenannte „diskrete dynamische Systeme“ bilden die Grundlage für rechenbasierte Problemstellungen in vielen Bereichen, von der Programmanalyse und computergestützten Verifizierung bis hin zu künstlicher Intelligenz und theoretischer Biologie. Die Entwicklung von Algorithmen, um diese Systeme mit automatisierten Verifizierungswerkzeugen zugänglich zu machen, stellt nach wie vor eine große Herausforderung dar. Forscher des…
Die Zusammenarbeit zwischen der Fakultät für Mathematik und Informatik der Universität des Saarlandes und den verpartnerten außeruniversitären Informatik-Forschungseinrichtungen im Saarland weiter intensivieren – das ist das Ziel des „Saarland University Associate Fellowships“. Nun ernennt die Fakultät die ersten sechs Wissenschaftlerinnen und Wissenschaftler in den Rang der „Fellows“. Das „Saarland University…
KI-Anwendungen wie ChatGPT beeindrucken zwar ihre Nutzer, bergen aber auch viele Risiken: Sie können zum Beispiel rassistische Vorurteile verstärken, für neuartige Cyberattacken genutzt werden oder Informationen falsch wiedergeben. Nicht einmal die Entwickler dieser Programme wissen, wieso ihre Systeme diese Fehler machen – dazu sind sie zu komplex und intransparent. An…
MPI-SWS faculty member Derek Dreyer and nine of his collaborators (including notably UdS/MPI alumnus Ralf Jung, as well as former MPI-SWS postdocs Jacques-Henri Jourdan and Aaron Turon and UdS/MPI student David Swasey) have received the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation for their seminal work…
