News Archiv
The TOROS project, supported by an ERC Starting Grant, has officially started. The project targets the challenge of implementing safety-critical cyber-physical systems on commodity multicore processors such that their temporal correctness can be certified in a formal, trustworthy manner.
Felix Klein, Doktorand am Lehrstuhl für Computergraphik an der Universität des Saarlandes, ist am 5. Dezember in Köln für das von ihm erdachte und entwickelte Spiel „Crosscode“ mit dem Deutschen Entwicklerpreis in der Kategorie „Bestes Indie Game“ geehrt worden. Mit „indie games“, auch „independent video games“ genannt, bezeichnet man Computerspiele, die von wenigen Personen und mit geringem Budget entwickelt werden. Der Deutsche Entwicklerpreis gilt laut Ausschreibung als „wichtigste [...]
Nvidia ist eines der führenden Unternehmen, wenn es um Graphikprozessoren und Computerchips für Personal Computer und Spielekonsolen geht. August 2018 trat NVIDIA-Chef Jensen Huang im kanadischen Vancouver vor 1200 Experten und verkündete eine fundamentale Verbesserung in der Computergraphik. Als erstes Unternehmen werde Nvidia einen Graphikprozessor verkaufen, der ausschließlich für das „Raytracing“ zuständig ist und somit virtuelle Welten fotorealistisch darstellt. Damit realisiert Nvidia [...]
Spezialistinnen und Spezialisten, die für Unternehmen Daten mit mathematischen Methoden auswerten und dadurch einen Vorsprung im Wettlauf um Kundinnen, Kunden und Gewinne sichern, werden händeringend gesucht. Das Data Science Start-up „d:AI:mond “ vom Saarbrücker Informatics Campus an der Universität des Saarlandes reagiert auf diesen Bedarf und bietet Unternehmen Fachkompetenz in Person einer Professorin, eines Professors und zwei weiteren international bekannten Experten an. Nach der erfolgreichen [...]
Seit Dienstag steht ein mehrere Meter hohes Standbild aus Eiche vor dem Gebäude des Helmholtz-Zentrums für Informationssicherheit (CISPA). „Wir wachen über eure Sicherheit! Unser neues Wahrzeichen symbolisiert gleichsam Schutz, Wehrhaftigkeit und Ambition“, so erklärte Professor Michael Backes, Gründungsdirektor des CISPA, den Hintergrund der Figur auf seiner Facebookseite. Die Künstler Res Hofman, Michael Tamoszus und Andrej Löchel hatten die Holzfigur geschnitzt.
Der wichtigste deutsche Technikpreis, der Werner-von-Siemens-Ring, geht in diesem Jahr an SAP-Gründer Hasso Plattner sowie den ehemaligen BMW-Chef Joachim Milberg. Die Auszeichnung wird am 13. Dezember in Berlin verliehen. Der Werner-von-Siemens-Ring, der die Lebensleistung bedeutender Ingenieure würdigt, bildet diesmal gleich zwei Zukunftsfelder ab: Mobilität und Digitalisierung. Auf ihren jeweiligen Gebieten gehören die Preisträger zu den ganz Großen ihres Fachs. Und was der Jury mindestens [...]
Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic–along with their co-authors Mitra Tabaei Befrouei and Georg Weissenbacher–have won a Distinguished Paper award at the 2018 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2017) for their paper „Randomized testing of distributed systems with probabilistic guarantees.“
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 [...]
Studenten, Professoren und Mitarbeiter der Universität des Saarlandes engagieren sich auch in diesem Jahr für „Aktion Oliver“ und beschenken zu Weihnachten bedürftige Kinder und Jugendliche in der Republik Moldau. Viele Kinder dort leben in großer Armut und können von einem Weihnachtsgeschenk nur träumen. In diesem Jahr sollen die Geschenke verteilt werden an Kinder und Jugendliche aus Familien, denen es am Nötigsten fehlt und Kinder in Heimen – Kinder, die ohne „Aktion Oliver“ kein Weihnachtsgeschenk bekämen.
Weltweit erheben Wissenschaftler Patientendaten, um für die Volkskrankheiten wie Demenz, Schlaganfall oder Tumorerkrankungen neue Therapien zu entwickeln. Diese Daten stammen etwa aus Blutproben oder Röntgenbildern und werden als multimediale Inhalte aus verschiedenen Quellen zusammengeführt. Die Forscher stehen nun vor der Herausforderung, wie sie diesen biomedizinischen Datenschatz effizient auswerten können, und zwar ohne die Privatsphäre des Patienten zu verletzen. Die dafür notwendigen [...]
4142434445 ...
82»