Arshad, Hamed
Stipendiat
|
|
hamedar@ifi.uio.no
|
security protocols,
access control,
authentication,
formal methods,
sikkerhet,
adgangskontroll,
formelle metoder,
autentisering
|
Din, Crystal Chang
Forsker
|
+47 22840876
|
crystald@ifi.uio.no
|
formal methods,
verification,
concurrency,
object-orientation
|
Johansen, Christian
Forsker
|
+47 22850481
|
cristi@ifi.uio.no
|
security,
privacy,
concurrency models,
formal methods,
safety verification,
automated tools,
logic in computer science,
process algebras,
semantics of programming languages,
security ceremonies,
access control
|
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
Forsker
|
+47 22852763
|
sltarifa@ifi.uio.no
|
formal methods,
programming language theory,
model-based predictions,
parallel data access,
cloud computing,
parallel systems,
distributed systems,
object-orientation,
modeling,
deployment
|