Zwei Paper am Saarland Informatics Campus haben eine "Honorable Mention" für den "Outstanding Paper Award" auf der 36. AAAI Conference on Artificial Intelligence (AAAI 2022) erhalten. Beide Arbeiten sind Teil des von der Deutschen Forschungsgemeinschaft (DFG) geförderten transregionalen Sonderforschungsbereichs "Grundlagen Verständlicher Software-Systeme". Ausgezeichnet wurden Daniel Fišer, Alvaro Torralba, Professor Jörg…
Ralf Jung, Doktorand der Universität des Saarlandes und Forscher am Max-Planck-Institut für Softwaresysteme in Saarbrücken, hat einen maßgeblichen Beitrag zur Sicherheit der Programmiersprache ‚Rust‘ geleistet. Die neue und zunehmend beliebte Programmiersprache wird sowohl von kleinen Startups als auch von den größten Technologie-Konzernen der Welt für die Entwicklung von Betriebssystemen, Webbrowsern…
Viele sicherheitskritische Bereiche unseres Lebens werden heute von Computersystemen gesteuert: von der Airbag-Zündung im Auto, über die Landeklappen an Flugzeugen bis hin zur grundlegenden Infrastruktur wie der Energieversorgung und dem Mobilfunk. Aber sind diese Systeme vertrauenswürdig? Informatik-Professor Jan Reineke von der Universität des Saarlandes verneint – denn ein entscheidender Baustein…
