News Archiv



Bild der Pressemitteilung
Öffentliche Online-Tagung über IT-Sicherheit, Blockchain-Lösungen und Künstliche Intelligenz

Fragen der IT-Sicherheit sind heute brisanter denn je: Angriffe auf vernetzte Systeme der Industrie 4.0 können Menschenleben real bedrohen – wie im September bei einem Hackerangriff auf einen Klinik-Server in Düsseldorf. Doch welche Vorkehrungen sind von wem zu treffen, welche sind technisch möglich? „Vergleichbare Fragen stellen sich auch im Zusammenhang mit der sogenannten Industrie 4.0, wo zahlreiche Unternehmen vernetzt sind, und Angreifer über einen der Beteiligten auf die Infrastruktur [...]

Bild der Pressemitteilung
Filip Niksic awarded ACM SIGPLAN John C. Reynolds Dissertation Award

Filip Niksic’s thesis on „Combinatorial Constructions for Effective Testing“ has won the John C. Reynolds Doctoral Dissertation Award for 2020. This is an annual award given by ACM SIGPLAN for a doctoral dissertation in the field of programming languages. Filip was advised by MPI-SWS faculty member Rupak Majumdar.

Bild der Pressemitteilung
Joël Ouaknine is a co-recipient of the 2020 Salomaa prize

The third Salomaa prize has been awarded to MPI-SWS director Joël Ouaknine and James Worrell (Professor of Computer Science at Oxford University), for their outstanding contribution to Theoretical Computer Science, in particular to the theory of timed automata and to the analysis of dynamical systems.

1 ...
4647484950 ...
230