Im Rahmen seiner kontinuierlichen Weiterentwicklung und thematischen Neuausrichtung organisierte das MPI-SWS ein Präsenzsymposium zu aktuellen und aufstrebenden Forschungsthemen im Bereich der Softwaresysteme. Zu dem Symposium wurden sechs führende Forscherinnen und Forscher aus aller Welt eingeladen: Natacha Crooks (UC Berkeley), Alexandra Silva (Cornell University), Maria Christakis (TU Wien), Stefanie Jegelka (TU…
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…
