Arshad, Hamed
Stipendiat
|
|
hamedar@ifi.uio.no
|
security protocols,
access control,
authentication,
cryptography,
network security,
formal methods,
model checking,
key agreement,
privacy,
security
|
Arshad, Hamed
Stipendiat
|
|
hamedar@ifi.uio.no
|
security protocols,
access control,
authentication,
formal methods,
sikkerhet,
adgangskontroll,
formelle metoder,
autentisering
|
Owe, Olaf
|
|
|
semantics,
object-orientation,
formal methods,
concurrency,
privacy,
information security,
language-based security,
verification,
programming languages
|
|
Owe, Olaf
|
+47 22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
computer science,
verification,
programming languages
|
|
Owe, Olaf
|
+47 22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
computer science,
verification,
programming languages
|
Schlatte, Rudolf
Researcher
|
+47 22852971
|
rudi@ifi.uio.no
|
formal methods,
computer science,
programming language semantics,
concurrency
|
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
|
Stolz, Volker
Associate Professor
|
+47 22852438
|
stolz@ifi.uio.no
|
formal methods,
model transformation,
UML
|
Stolz, Volker
Førsteamanuensis
|
+47 22852438
|
stolz@ifi.uio.no
|
programming languages,
programmeringsspråk,
formal methods,
model transformation,
UML,
QVT,
Haskell,
FreeBSD,
object-orientation,
verification
|
Tapia Tarifa, Silvia Lizeth
Researcher
|
+47 22852763
|
sltarifa@ifi.uio.no
|
formal methods,
concurrency,
programming language theory,
model-based analysis,
microservices,
distributed systems,
object-orientation,
modeling,
resourse analysis
|
Tapia Tarifa, Silvia Lizeth
Forsker
|
+47 22852763
|
sltarifa@ifi.uio.no
|
formal methods,
concurrency,
programming language theory,
model-based analysis,
microservices,
distributed systems,
object-orientation,
modeling,
resourse analysis
|