Johnsen, Einar Broch
Professor
|
+47 22852509
|
einarj@ifi.uio.no
|
informatikk,
programmering og nettverk,
logikk,
sikkerhet,
teoretisk databehandling,
kvalitetssikring av programvaresystemer,
software engineering,
modellering av programvaresystemer,
analyse av programvaresystemer,
formelle metoder,
objekt-orientering,
parallelle og distribuerte systemer,
Programmeringsspråk
|
Jul, Eric Bartley
Professor
|
+47 22840853
|
ericbj@ifi.uio.no
|
Programmering,
Programmeringsspråk,
programming languages,
object-orientation,
distribuerte systemer,
cloud computing,
Design Patterns,
security
|
Langmyhr, Dag
Professor emeritus
|
+47 22852450
|
dag@ifi.uio.no
|
Undervisning,
Programmeringsspråk,
Lagring av dokumenter,
Digital typografi,
LaTeX
|
Owe, Olaf
Professor
|
+47 22852449
|
olaf@ifi.uio.no
|
informatikk,
programmering og nettverk,
logikk,
sikkerhet,
teoretisk databehandling,
kvalitetssikring av programvaresystemer,
software engineering,
modellering av programvaresystemer,
analyse av programvaresystemer,
formelle metoder,
objekt-orientering,
parallelle og distribuerte systemer,
Programmeringsspråk
|
Stolz, Volker
Førsteamanuensis
|
+47 22852438
|
stolz@ifi.uio.no
|
programming languages,
formal methods,
UML,
QVT,
Haskell,
FreeBSD,
object-orientation,
verification,
refactoring,
Runtime Verification,
programmeringsspråk,
model transformation
|