Johnsen, Einar Broch
Professor
|
+47 22852509
|
einarj@ifi.uio.no
|
computer science,
formal methods,
semantics,
modeling,
distributed systems,
digital twins
|
Owe, Olaf
professor emeritus
|
22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
privacy,
information security,
language-based security,
verification,
programming languages
|
Owe, Olaf
Professor
|
+47 22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
computer science,
verification,
programming languages
|
Owe, Olaf
Professor
|
+47 22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
computer science,
verification,
programming languages
|
Steffen, Martin
Professor
|
+47 22850417
|
msteffen@ifi.uio.no
|
semantics,
programming language theory,
static analysis,
verification,
compiler construction,
object-orientation,
formal methods,
concurrency,
computer science,
verification,
PMA,
program analysis,
static analysis,
compositionality,
security,
model checking,
type systems
|
Thomsen, Michael Kirkedal
Førsteamanuensis
|
|
michakt@ifi.uio.no
|
distributed systems,
programming languages,
programming language theory,
de-central systems,
marine,
information security,
security and privacy,
semantics,
program transformation,
compiler construction
|