Personer med emneord «logikk»

Navn Telefon E-post Emneord
Bilde av Herman Ruge Jervell Jervell, Herman Ruge herman@ifi.uio.no Logikk
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 Olaf Owe 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
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 Logikk, Big data, Semantic web, Automatisk resonnering, Bevissøk, Førsteordens logikk
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
Bilde av Juvenal Murwanashyaka Murwanashyaka, Juvenal Stipendiat juvenalm@math.uio.no Matematikk, logikk
Bilde av Dag Normann Normann, Dag 41250205 dnormann@math.uio.no Matematikk, Logikk
Bilde av Stål Aanderaa Aanderaa, Stål Professor emeritus 228 55889 staal@math.uio.no Matematikk, Logikk