Aanderaa, Stål
Professor emeritus
|
228 55889
|
staal@math.uio.no
|
Matematikk,
Logikk
|
Giese, Martin
Professor
|
+47 22852737
|
martingi@ifi.uio.no
|
Logikk,
Big data,
Semantic web,
Automatisk resonnering,
Bevissøk,
Førsteordens logikk
|
Jervell, Herman Ruge
|
|
herman@ifi.uio.no
|
Logikk
|
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
|
Linnebo, Øystein
Professor
|
+47 22856961
+47 46660036 (mob)
|
oystein.linnebo@ifikk.uio.no
|
Filosofi,
Logikk,
Metafysikk,
Språkfilosofi,
Frege
|
Normann, Dag
|
41250205
|
dnormann@math.uio.no
|
Matematikk,
Logikk
|
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
|
Skjæveland, Martin Georg
Forsker
|
|
martige@ifi.uio.no
|
ontologier,
dataintegrasjon,
logikk,
datautveksling,
Semantisk web,
databaser
|