News Archiv
Die Universität des Saarlandes konnte erneut im Bund-Länder-Programm für den wissenschaftlichen Nachwuchs punkten. Diesmal erhielt sie den Zuschlag für sieben Juniorprofessuren, nachdem 2017 bereits sechs dieser hochqualifizierten Stellen neu eingerichtet wurden. Damit hat die Universität die für das Saarland mögliche Förderung von insgesamt 13 Professuren maximal ausgeschöpft. Die neuen Professuren werden, wie die bereits in der ersten Förderrunde bewilligten Stellen, gezielt die Schwerpunkte [...]
Ein chinesischer Telekomriese soll wegen Spionageverdachts vom Aufbau eines neuen Mobilfunknetzes ausgeschlossen werden. Kriminelle missbrauchen Künstliche Intelligenz, um besser zu betrügen. Und in Berlin wird ein Saugroboter präsentiert, der auf dem Boden liegende Socken und Kabel umfährt anstatt sie anzusaugen. Diese Schlagzeilen der vergangenen Tage zeigen, wie sehr Informatik den Alltag durchdringt. Deswegen zeichnen die saarländische Staatskanzlei und das Kompetenzzentrum Informatik Saarland [...]
Ori Lahav was awarded an ERC starting grant on „Verification-Aware Programming Language Concurrency Semantics“. Ori was formerly a postdoctoral fellow in the Software Analysis and Verification group, and is now a tenure-track faculty member at Tel Aviv University. Read more about this year’s ERC Starting Grants here.
Filip Mazowiecki is joining us from the University of Bordeaux, where he spent the last two years as a postdoc. His research area is formal verification, the study of verifying correct functioning of systems. He is mostly interested in the theoretical analysis of models like Petri nets and weighted automata, working on fundamental questions like reachability and equivalence.
9091929394 ...
237»