Din, Crystal Chang
Researcher
|
+47-22845516
|
crystald@student.matnat.uio.no
|
formal methods,
verification,
concurrency,
Object-orientation
|
Din, Crystal Chang
Forsker
|
+47-22845516
|
crystald@student.matnat.uio.no
|
formal methods,
verification,
concurrency,
object-orientation
|
Jul, Eric Bartley
Professor
|
+47-22840853
+4540251650
|
ericbj@ifi.uio.no
|
Programmering,
Programmeringsspråk,
programming languages,
object-orientation,
distribuerte systemer,
cloud computing,
Design Patterns,
security
|
Owe, Olaf
Professor
|
+47-22852449
|
olaf@ifi.uio.no
|
programming languages,
semantics,
formal methods,
verification,
concurrency,
computer science,
object-orientation
|
Steffen, Martin
Professor
|
+47-22850417
|
msteffen@ifi.uio.no
|
static analysis,
program analysis,
formal methods,
PMA,
concurrency,
type systems,
compositionality,
programming language theory,
verification,
static analysis,
compiler construction,
model checking,
object-orientation,
verification,
security,
semantics,
computer science
|
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,
programming language theory,
model-based predictions,
parallel data access,
cloud computing,
parallel systems,
distributed systems,
object-orientation,
modeling,
deployment
|
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
|