Antonsen, Roger
Førsteamanuensis
|
+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
|
Rognes, Torbjørn
Professor
|
+47-22844787
+47-90755587
+4790755587
|
torognes@ifi.uio.no
|
Livsvitenskap,
Bioinformatikk,
Algoritmer,
Programmering,
Parallellisering,
Sekvensanalyse,
DNA-reparasjon,
Metagenomikk
|
Sandve, Geir Kjetil
Førsteamanuensis
|
+47-22840861
+47-93853050
|
geirksa@ifi.uio.no
|
algoritmer,
Genomanalyse,
bioinformatikk,
programmering,
masteroppgave,
python
|
Storleer, Stein Michael
universitetslektor Institutt for informatikk
|
22840194
99163232
|
michael krøllalfa ifi punktum uio punktum no
|
gruppelærere,
førsteårsemner,
algoritmer,
programmering,
objektorientering,
datastrukturer,
java,
inf1010,
inf1300,
SQL,
ORM
|