Christian Johansen
|
|
|
|
|
Bjørnar Steinnes Luteberget
|
|
|
|
Martin Steffen
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
|
Josef Noll
Professor
|
+47-2284 2228
+47-9083 8066 (mob)
|
josef.noll@its.uio.no
|
SDGs,
Agenda 2030,
Sustainability,
Digital Inclusion,
ITS,
radio,
trådløse sensornettverk,
wireless networks,
mobile applications,
informasjonssikkerhet,
internet of things,
measurable security,
embedded systems,
WNaS
|
Olaf Owe
Professor
|
+47 22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
privacy,
information security,
language-based security,
verification,
programming languages
|