News Archiv
Ein chinesischer Telekomriese soll wegen Spionageverdachts vom Aufbau eines neuen Mobilfunknetzes ausgeschlossen werden. Kriminelle missbrauchen Künstliche Intelligenz, um besser zu betrügen. Und in Berlin wird ein Saugroboter präsentiert, der auf dem Boden liegende Socken und Kabel umfährt anstatt sie anzusaugen. Diese Schlagzeilen der vergangenen Tage zeigen, wie sehr Informatik den Alltag durchdringt. Deswegen zeichnen die saarländische Staatskanzlei und das Kompetenzzentrum Informatik Saarland [...]
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 [...]
8990919293 ...
236»