Owe, Olaf
professor emeritus
|
22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
privacy,
information security,
language-based security,
verification,
programming languages
|
Langmyhr, Dag
Professor Emeritus
|
+47 22852450
|
dag@ifi.uio.no
|
Education,
Programming languages,
Document storage,
Digital typography,
LaTeX
|
Jul, Eric Bartley
Professor
|
+47 22840853
|
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
|
semantics,
object-orientation,
formal methods,
concurrency,
computer science,
verification,
programming languages
|
Owe, Olaf
Professor
|
+47 22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
computer science,
verification,
programming languages
|
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
|
Ramezanifarkhani, Toktam
Førsteamanuensis
|
|
toktamr@ifi.uio.no
|
Information Security,
Programming Languages,
Security Management
|
Thomsen, Michael Kirkedal
Førsteamanuensis
|
|
michakt@ifi.uio.no
|
distributed systems,
programming languages,
programming language theory,
de-central systems,
marine,
information security,
security and privacy,
semantics,
program transformation,
compiler construction
|