Participants in Creol: A formal framework for reflective component modelling
From the University of Oslo
| Name | Phone | Tags | |
|---|---|---|---|
.jpg)
Olaf Owe
Professor
|
+47 22852449 | olaf@ifi.uio.no | semantics, object-orientation, formal methods, concurrency, computer science, verification, programming languages |
Einar Broch Johnsen
Professor
|
+47 22852509 | einarj@ifi.uio.no | computer science, formal methods, semantics, modeling, distributed systems, digital twins |
Ingrid Chieh Yu
Associate Professor
|
+47 22845525 | ingridcy@ifi.uio.no | |
Johan Dovland
|
Other participants
- Arild B. Torjusen