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
|
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
|