Besøksadresse
Ole Johan Dahls Hus (kart)
Gaustadalléen 23 B
N-0373
OSLO
Norge
Navn | Telefon | E-post | Emneord |
---|---|---|---|
![]() |
+47-22852482 97588742 | 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 |
![]() |
+47-22855897 92210527 +47 922 10 527 | larsk@math.uio.no | Matematikk, Kompleksitetsteori, Logikk, Beregnbarhetsteori |
![]() |
evgenit@ifi.uio.no | Databaser, Logikk, Kompleksitetsteori, OBDA, Kombinatorikk, Grafteori |