Participants in Connect: Active Behavioral Interfaces for Seamless Network Integration
From the University of Oslo
Name | Phone | Tags | |
---|---|---|---|
Einar Broch Johnsen Professor | +47 22852509 | einarj@ifi.uio.no | computer science, formal methods, semantics, modeling, distributed systems, digital twins |
Olaf Owe professor emeritus | 22852449 | olaf@ifi.uio.no | semantics, object-orientation, formal methods, concurrency, privacy, information security, language-based security, verification, programming languages |
Joakim Bjørk | |||
Fatemeh Sadat Kazemeyni |