News Archiv
Die Förderung ermöglicht der Universität des Saarlandes die Einrichtung eines „Digital Teaching Plug-ins“. Dies ist eine zentrale Schnittstelle zur systematischen Weiterentwicklung des Digitalisierungsprozesses in der Hochschullehre. Innerhalb weniger Monate wurden an der Saar-Universität die für einen Online-Betrieb benötigten Technologien eingeführt und neue, digitale Lern-, Lehr- und Prüfungsangebote erstellt. Diese können nunmehr mit Hilfe der Fördermittel systematisch weiterentwickelt [...]
Die Forschungsergebnisse wurde jetzt im renommierten Wissenschaftsmagazin "Nature" veröffentlicht: https://www.nature.com/articles/s41586-021-03583-3 Das [...]
Arpan Gujarati’s thesis, entitled Towards “Ultra-Reliable“ CPS: Reliability Analysis of Distributed Real-Time Systems, has been recognized with the 2021 ACM SIGBED Paul Caspi Memorial Dissertation Award. The award, first given in 2013, recognizes outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems, in the spirit and legacy of Dr. Paul Caspi’s work. Arpan was advised by MPI-SWS faculty member Björn Brandenburg.
Cybersicherheit ist ein Thema, das jeden angeht. Privatleute verwalten Gesundheits- und Bankdaten über das Internet, kritische Infrastrukturen wie die Energieversorgung werden von Computersystemen gesteuert, Verwaltungen aller Ebenen sind untereinander vernetzt. All diese Anwendungen stellen hohe Anforderungen an die IT-Sicherheit. Expertinnen und Experten, die kompetent in diesem Bereich agieren, sind deshalb gefragter denn je. Um diesem Bedarf zu begegnen, startet die Universität des Saarlandes [...]
„Warum habe ich einen späteren Impftermin bekommen als meine Kollegin?“ „Warum bekommt mein Kollege mehr Geld als ich?“ „Ich soll schon wieder die Spätschicht machen, obwohl ich da meine Kinder betreuen muss?“ Bei all diesen Fragen schwingt ein Thema mit: Gerechtigkeit, vor allem die wahrgenommene beziehungsweise die „gefühlte“ Gerechtigkeit: Wer davon überzeugt ist, dass er benachteiligt wird, wird Entscheidungen nicht akzeptieren, sie hinterfragen, dagegen protestieren oder [...]
Die Informatik der Universität des Saarlandes ist im neuen CHE-Ranking erneut bei einer ganzen Reihe von Kriterien in der bundesweiten Spitzengruppe gelandet. Auch die Biologie schnitt zum wiederholten Male in verschiedenen Kategorien sehr gut ab. Bei weiteren Studienfächern ist der bundesweite Vergleich diesmal für die Saar-Universität wenig aussagekräftig, da aufgrund zu geringer Rückmeldungen die Bewertungen der Studierenden nicht einbezogen wurden.
Im Wintersemester 2021/2022 starten an der Universität des Saarlandes mit „Computer Science“ und „Cybersecurity“ zwei Bachelorprogramme der Informatik, die komplett auf Englisch gelehrt werden. Damit ist die Universität des Saarlandes die erste staatliche Hochschule in Deutschland, die rein englischsprachige Bachelorstudiengänge auf dem Gebiet der Informatik anbietet. Der Schritt schärft das internationale Profil des Standorts und macht die Saar-Uni damit noch attraktiver für Studierende aus dem In- und Ausland.
Joël Ouaknine, along with his co-authors James Worrell and Florian Luca, has received a Distinguished Paper award at the 2021 ACM/IEEE 36th Annual Symposium on Logic in Computer Science (LICS 2021) for his paper Universal Skolem Sets.
Ralf Jung and Bilal Zafar have each been awarded a 2021 Otto Hahn Medal for outstanding scientific achievement. The Max Planck Society awards the Otto Hahn Medal annually to young scientists in recognition of outstanding scientific achievement. Ralf was awarded the medal for his work on the first formal foundations for the cutting-edge systems programming language Rust, while Bilal was awarded the medal for his work on developing responsible and trustworthy AI systems that can help reduce discrimination [...]
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.
Mikrofone und Kameras sind heute überall verbaut: in Smartphones, Laptops, sogar in Kühlschränken und Fernsehern. Viele Menschen sind inzwischen an diese ‚wahrnehmenden Geräte‘ gewöhnt. Dadurch werden sie nicht mehr als das gesehen, was sie eigentlich sind – allgegenwärtige Augen und Ohren. Ein Team aus Informatikerinnen und Informatikern der Universität des Saarlandes nutzt anthropomorphes Design, um diese alltäglich gewordene Sensorik kritisch zu hinterfragen. Mit ‚Eyecam‘ stellen [...]
1819202122 ...
83»