Christian Johansen
Researcher
|
+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
|
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
|
SDG 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
|