Personer med emneord «Logikk»

Navn Telefon E-post Emneord
Bilde av Roger Antonsen Antonsen, Roger Førsteamanuensis +47-22852482 97588742 97588742 rantonse@ifi.uio.no Matematisk logikk, Bevissøk, Vitenskapsformidling, Kombinatorikk, Modallogikk, Filosofi, Logikk, Matematikkfilosofi, Automater, Formidling, Kompleksitetsteori, Automatisk resonnering, Førsteordens logikk, Logiske kalkyler, Arduino, Processing, Netlogo, Bevisteori
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 Dag Hovland Hovland, Dag Forsker +47-97046378 97046378 hovland@ifi.uio.no Big data, Regulære uttrykk, Intelligente Data, Logikk, Databaser
Bilde av Herman Ruge Jervell Jervell, Herman Ruge Professor emeritus +47-22840121 +47-98853310 herman@ifi.uio.no Logikk
Bilde av Einar Broch Johnsen Johnsen, Einar Broch 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
Bilde av Lars Kristiansen Kristiansen, Lars Professor +47-22855897 92210527 +47 922 10 527 larsk@math.uio.no Matematikk, Kompleksitetsteori, Logikk, Beregnbarhetsteori
Bilde av Olaf Owe Owe, Olaf Professor +47-22852449 olaf@ifi.uio.no Programmeringsspråk, software engineering, teoretisk databehandling, objekt-orientering, kvalitetssikring av programvaresystemer, informatikk, programmering og nettverk, analyse av programvaresystemer, sikkerhet, modellering av programvaresystemer, parallelle og distribuerte systemer, logikk, formelle metoder
Bilde av Martin Georg Skjæveland Skjæveland, Martin Georg Postdoktor martige@ifi.uio.no ontologier, dataintegrasjon, logikk, datautveksling, Semantisk web, databaser
Bilde av Evgenij Thorstensen Thorstensen, Evgenij Førsteamanuensis evgenit@ifi.uio.no Databaser, Logikk, Kompleksitetsteori, OBDA, Kombinatorikk, Grafteori