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…
Moderne Softwaresysteme – sie steuern schon heute kritische Infrastrukturen, Fabrikanlagen, selbstfahrende Autos oder Smarthomes. Das Problem dabei: Viele dieser Systeme sind so komplex geworden, dass kein Experte mehr nachvollziehen kann, ob, wie und warum sie funktionieren. Wissenschaftler der Universität des Saarlandes, des Max-Planck-Instituts für Softwaresysteme, des CISPA Helmholtz-Zentrums für Informationssicherheit…
