Jul, Eric Bartley
Professor
|
+47 22840853
|
ericbj@ifi.uio.no
|
Programmering,
Programmeringsspråk,
programming languages,
object-orientation,
distribuerte systemer,
cloud computing,
Design Patterns,
security
|
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,
refactoring,
Runtime Verification
|
Tapia Tarifa, Silvia Lizeth
Førsteamanuensis
|
+47 22852763
|
sltarifa@ifi.uio.no
|
formal methods,
concurrency,
programming language theory,
model-based analysis,
microservices,
distributed systems,
object-orientation,
modeling,
resourse analysis
|