News Archiv



Bild der Pressemitteilung
Filip Niksic awarded ACM SIGPLAN John C. Reynolds Dissertation Award

Filip Niksic’s thesis on „Combinatorial Constructions for Effective Testing“ has won the John C. Reynolds Doctoral Dissertation Award for 2020. This is an annual award given by ACM SIGPLAN for a doctoral dissertation in the field of programming languages. Filip was advised by MPI-SWS faculty member Rupak Majumdar.

Bild der Pressemitteilung
Joël Ouaknine is a co-recipient of the 2020 Salomaa prize

The third Salomaa prize has been awarded to MPI-SWS director Joël Ouaknine and James Worrell (Professor of Computer Science at Oxford University), for their outstanding contribution to Theoretical Computer Science, in particular to the theory of timed automata and to the analysis of dynamical systems.

Bild der Pressemitteilung
Saarbrücker Informatik-Professoren belegen Spitzenplätze in KI-Ranking

Die Plattform „AI-Rankings“ erfasst Forscher aus der ganzen Welt, die sich mit Themen der Künstlichen Intelligenz (KI) beschäftigen und ordnet diese entsprechend ihrer Publikationsleistung in Ranglisten. Die Webseite will damit das wachsende Interesse für Forschung zu Künstlicher Intelligenz aufgreifen und einen Überblick über die regen Forschungsaktivitäten des Feldes schaffen. Im nationalen Vergleich belegen gleich ein gutes Dutzend Informatik-Professoren der Universität des Saarlandes [...]

Bild der Pressemitteilung
MPI-SWS researchers win OSDI Distinguished Artifact Award

MPI-SWS researchers Arpan Gujarati, Safya Alzayat, Wei Hao, Antoine Kaufmann, and Jonathan Mace, along with Reza Karimi and Ymir Vigfusson from Emory University, have received the OSDI Distinguished Artifact Award for their paper, Serving DNNs like Clockwork: Performance Predictability from the Bottom Up.

1 ...
5354555657 ...
236