Einar Broch Johnsen
Professor
|
+47 22852509
|
einarj@ifi.uio.no
|
computer science,
formal methods,
semantics,
modeling,
distributed systems,
digital twins
|
Olaf Owe
Professor Emeritus
|
+47 22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
computer science,
verification,
programming languages
|
Rudolf Schlatte
Senior Engineer
|
+47 22852971
|
rudi@ifi.uio.no
|
formal methods,
computer science,
programming language semantics,
concurrency
|
Martin Steffen
|
|
|
|
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
|