News Archiv
MPI-SWS faculty member Derek Dreyer was one of two PC members (out of a total of 30 PC members) to win a Distinguished Reviewer [...]
Das Institute of Electrical and Electronics Engineers (IEEE), ein weltweiter Berufsverband von Ingenieuren aus der Elektrotechnik und Informationstechnik, hat Professor Michael Backes, wissenschaftlicher Direktor des Saarbrücker Helmholtz-Zentrums für Informationssicherheit (CISPA), zum „IEEE Fellow“ ernannt.
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019: Bridging the Gap Between Programming Languages and Hardware Weak Memory Models by Anton Podkopaev, Ori Lahav, and Viktor Vafeiadis. From Fine- to Coarse-Grained Dynamic Information Flow Control and Back by Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, and Deian Stefan. Formal verification of higher-order probabilistic programs by Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, [...]
Laut dem heute veröffentlichten CHE-Ranking zu Masterstudiengängen erreicht die Universität des Saarlandes in beiden Fächern die Spitzengruppe. Das Ranking basiert auf den Bewertungen der Studierenden vor Ort. Das Centrum für Hochschulentwicklung (CHE) fragt diese ab und gliedert sie in mehr als 20 Kriterien auf, um Bachelor-Studierenden einen bundesweiten Vergleich bei der Suche nach dem passenden Master-Studiengang zu ermöglichen. Indikatoren wie Studierendenanzahl und internationale Ausrichtung [...]
116117118119120 ...
236»