Einar Broch Johnsen
@ebjohnsen
Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @[email protected]
ID: 228949093
http://ebjohnsen.org 21-12-2010 03:44:50
1,1K Tweet
579 Followers
495 Following
Marta Kwiatkowska kicks off Formal Methods 2024 in Milan with a keynote on adversarial robustness certification Formal Methods Europe
