Einar Broch Johnsen
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
|