Participants in SMT4ABS
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 |
Martin Steffen
|
|||
|
Ka I Pun
|
|||
Silvia Lizeth Tapia Tarifa
Associate Professor
|
sltarifa@ifi.uio.no | formal methods, concurrency, programming language theory, model-based analysis, distributed systems, object-orientation, modeling, resource analysis | |
Ingrid Chieh Yu
Professor
|
+47 22850203 | ingridcy@ifi.uio.no |