Personer med emneord «Logikk»

Navn Telefon E-post Emneord
Bilde av Herman Ruge Jervell Jervell, Herman Ruge Professor emeritus +47 22840121 herman@ifi.uio.no Logikk
Bilde av Dag Hovland Hovland, Dag 97046378 hovland@ifi.uio.no Big data, Regulære uttrykk, Intelligente Data, Logikk, Databaser
Bilde av Einar Broch Johnsen 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
Bilde av Martin Georg Skjæveland Skjæveland, Martin Georg Forsker martige@ifi.uio.no ontologier, dataintegrasjon, logikk, datautveksling, Semantisk web, databaser
Bilde av Martin Giese Giese, Martin Professor +47 22852737 martingi@ifi.uio.no Automatisk resonnering, Semantic web, Bevissøk, Logikk, Big data, Førsteordens logikk
Bilde av Olaf Owe Owe, Olaf 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
Bilde av Roger Antonsen 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