News Archiv
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 [...]
4445464748 ...
236»