News Archiv
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.
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 [...]
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 [...]
8788899091 ...
234»