Von ethischen Fragen autonomer Roboter bis hin zum Schutz von persönlichen Daten und Privatsphäre: Wie stellt unsere Gesellschaft sicher, dass der Mensch bei Künstlicher Intelligenz die Kontrolle behält? Internationale Wissenschaftlerinnen und Wissenschaftler beleuchten diese Frage am 29. August auf dem Saarbrücker Campus aus rechtlicher wie technologischer Perspektive. Das Institut für…
The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions. Candidates with prior experience in the Rust programming language, the Coq proof assistant, operating system construction, and/or probabilistic schedulability analysis are particularly welcome. Check out the project page for details.
Den Kultfilm „Blade Runner“ zeigt das Filmhaus als „Director’s Cut“ im Rahmen der Filmreihe „Künstliche Intelligenz im Kino“. Der 1982 unter der Regie von Ridley Scott produzierte Science-Fiction-Film setzt sich mit der Erschaffung künstlicher Menschen als Inbegriff höchster technischer Errungenschaft auseinander. Antonio Krüger, Informatik-Professor an der Universität des Saarlandes und…
The paper "ERIM: Secure, Efficient, In-process Isolation with Memory Protection Keys (MPK)" received a Distinguished Paper Award at the 2019 Usenix Security Symposium. It was selected as one of 6 distinguished papers out of 113 papers that appeared in the conference proceedings. The work was also selected as the recipient…
Zwei Minuten in die Kamera schauen, reichen einer App, um den Blutdruck zu messen, Wahlmaschinen in den Vereinigten Staaten sind über das Internet angreifbar und eine Online-Übernachtungsplattform wehrt sich gegen Vorwürfe, in Städten für Wohnungsnot verantwortlich zu sein. Die Schlagzeilen der vergangenen Tage zeigen, wie sehr Informatik den Alltag durchdringt.…
