News Archiv
MPI-SWS researchers Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche have received the EAPLS Best Paper Award for their TACAS 2021 paper: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. In addition, a TACAS 2021 paper by Rosa Abbasi and Eva Darulova (along with their collaborators Jonas Schiffl, Mattias Ulbrich, and Wolfgang Ahrendt) was one of only a handful of papers nominated for the EAPLS Best Paper Award: Deductive Verification [...]
MPI-SWS participated jointly with the MPI for Informatics in the annual Girls‘ Day event on April 22, 2021. Our interactive digital program included programming robots and integrating machine learning models into dialog systems, as well as answering questions about computer science and the work as a computer scientist.
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 heutiger Computersysteme mache die Entwicklung sicherer IT-Anwendungen grundsätzlich unmöglich. [...]
Computer beantworten Fragen, führen Konversation oder beraten Kunden bei Problemen. Immer mehr IT-Anwendungen greifen auf strukturiertes Wissen zurück. Das Wissen muss dazu in einer Weise aufbereitet sein, die ein Computer verarbeiten kann – in sogenannten Wissensdatenbanken. Die sind das Fachgebiet des Informatikers Simon Razniewski. Am Saarbrücker Max-Planck-Institut für Informatik hat er als erster ein Verfahren entwickelt, mit dem die Wissensvorräte um einen entscheidenden, bisher vernachlässigten [...]
Während der digitalen Kickoff-Veranstaltung hat die Fachschaft Informatik zum ersten Mal seit Beginn der Corona-Pandemie ihren „Busy Beaver“-Award verliehen. Der Preis richtet sich an Dozierende der Fachrichtung Informatik, die sich durch besonderes Engagement in der Lehre hervorgetan haben.
4849505152 ...
239»