News Archiv
![null Bild der Pressemitteilung](https://saarland-informatics-campus.de/wp-content/plugins/wp-fastest-cache-premium/pro/images/blank.gif)
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.
![Saarland Informatics Campus Bild der Pressemitteilung](https://saarland-informatics-campus.de/wp-content/plugins/wp-fastest-cache-premium/pro/images/blank.gif)
Künstliche Intelligenz und Datenwissenschaft gelten als Berufsfelder der Zukunft. Die Universität des Saarlandes lehrt diese Disziplinen im neuen Studiengang „Data Science and Artificial Intelligence“. Am Freitag, den 6. September, können Abiturientinnen und Abiturienten das neue Studienfach vier Stunden lang ausprobieren. Damit die Studierenden in spe einen realistischen Eindruck erhalten, stehen ein Mitmach-Workshop, Vorträge und aktuelle Forschungsprojekte auf dem Programm. Das Angebot [...]
![null Bild der Pressemitteilung](https://saarland-informatics-campus.de/wp-content/plugins/wp-fastest-cache-premium/pro/images/blank.gif)
Der Grundstein für eine großangelegte Kooperation mit Südkorea wurde am Mittwoch, 28. August, in Saarbrücken gelegt. CISPA-Gründungsdirektor Prof. Dr. Dr. h. c. Michael Backes, KAIST-Präsident Dr. Sung Shul Shin, Sprecher der KAIST-Graduierten Schule Prof. Insik Shin und der Direktor des KIST Europe Junkyung Kim unterzeichneten ein entsprechendes Memorandum of understanding. Hier wurden die Kernthemen der Zusammenarbeit und die gemeinsamen Ziele festgelegt. Es handelt sich dabei um eine Absichtserklärung, sich [...]
![null Bild der Pressemitteilung](https://saarland-informatics-campus.de/wp-content/plugins/wp-fastest-cache-premium/pro/images/blank.gif)
Der zukünftige CISPA-Faculty Antoine Joux hat eine weitere Ehrung erhalten. Der französische Kryptograph gewann den IACR Test-of-Time Award. Er bekam die Auszeichnung bei der Crypto-Konferenz in Santa Barbara für sein Paper „Multicollisions in Iterated Hash Functions. Application to Cascaded Constructions“ aus dem Jahr 2004.
8788899091 ...
233»