Personer med emneord «Logikk»

Navn Telefon E-post Emneord
Aanderaa, Stål Professor emeritus 228 55889 staal@math.uio.no Matematikk, Logikk
Antonsen, Roger Førsteamanuensis +47 22852482 rantonse@ifi.uio.no Logikk, Bevisteori, Automatisk resonnering, Bevissøk, Modallogikk, Førsteordens logikk, Kompleksitetsteori, Automater, Cellulære automater, Generativ kunst, Algoritmer, Algoritmisk kunst, Matematisk kunst, Netlogo, Processing, Filosofi, Matematikkfilosofi, Formidling, Vitenskapsformidling
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