News Archiv



Bild der Pressemitteilung
EATCS Presburger-Award für Tomasz Kociumaka

Der Informatiker erhält die Auszeichnung für bahnbrechende Beiträge zu String-Algorithmen und Datenstrukturen Strings, also Zeichenfolgen jeglicher Art wie zum Beispiel natürlichsprachliche Texte, kommen überall in unserem täglichen Leben vor und stellen einige der größten von der Menschheit erzeugten Datensätze dar.Tomasz Kociumaka, Forschungsgruppenleiter am Saarbrücker Max-Planck-Institut für Informatik, erhält nun für grundlegende Arbeiten zur effizienten Analyse und Verarbeitung [...]

Bild der Pressemitteilung
DEREK DREYER UND SEINE FORSCHUNGSPARTNER ERHÄLTEN DREI DISTINGUISHED PAPER AWARDS BEI PLDI’25 UND POPL’25

MPI-SWS-Fakultätsmitglied Derek Dreyer und seine Forschungspartner erzielten in diesem Jahr eine herausragende Präsenz auf den führenden Konferenzen im Bereich Programmiersprachen. Sie erhielten Distinguished Paper Awards für zwei Beiträge auf der PLDI 2025 und einen Beitrag auf der POPL 2025. Auf der diesjährigen PLDI wurden nur 6 von 89 angenommenen Beiträgen mit dieser Auszeichnung geehrt, auf der POPL lediglich 7 von 81.

Bild der Pressemitteilung
JOËL OUAKNINE ERHÄLT LICS TEST-OF-TIME AWARD

MPI-SWS-Fakultätsmitglied Joël Ouaknine wurde mit dem LICS Test-of-Time Award 2025 für seine 2005 erschienene Arbeit “On the Decidability of Metric Temporal Logic” ausgezeichnet. Die Forschung entstand in Zusammenarbeit mit Ben Worrell.

Bild der Pressemitteilung
Informatiker wird Henriette-Herz-Scout der Humboldt-Stiftung

Tomohiro Nagashima, Informatik-Juniorprofessor der Saar-Universität, ist von der Alexander von Humboldt-Stiftung zum „Henriette-Herz-Scout“ ernannt worden. Dies gibt ihm die Möglichkeit, drei Wissenschaftstalente aus dem Ausland vorzuschlagen. Diese erhalten nach einer formalen Prüfung ein Forschungsstipendium der Humboldt-Stiftung und können in einem Zeitraum von sechs Monaten bis zu zwei Jahren an der Universität des Saarlandes forschen.

123456 ...
244