Johnsen, Einar Broch
Professor
|
+47-22852509
|
einarj@ifi.uio.no
|
informatikk,
sikkerhet,
kvalitetssikring av programvaresystemer,
analyse av programvaresystemer,
objekt-orientering,
programmering og nettverk,
software engineering,
logikk,
formelle metoder,
modellering av programvaresystemer,
parallelle og distribuerte systemer,
teoretisk databehandling,
Programmeringsspråk
|