Antonsen, Roger
Associate Professor
|
+47 22852482
|
rantonse@ifi.uio.no
|
Logic,
Proof Theory,
Automated Reasoning,
Proof Search,
Modal Logic,
First-Order Logic,
Complexity Theory,
Automata,
Cellulære automater,
Generative Art,
Algorithms,
Algorithmic Art,
Mathematical Art,
Netlogo,
Processing,
Philosophy,
Philosophy of Mathematics,
Outreach,
Science Communication
|
Bucher, Taina
Associate Professor
|
|
taina.bucher@media.uio.no
|
Social media,
algorithms,
digital infrastructure,
AI,
screen cultures
|
Maus, Arne
Professor Emeritus
|
+47 22852451
|
arnem@ifi.uio.no
|
object orientation,
Algorithms,
Parallel programming,
sorting
|
Rognes, Torbjørn
Professor
|
+47 22844787
+4790755587 (mob)
|
torognes@ifi.uio.no
|
Life sciences,
Bioinformatics,
Algorithms,
Parallelisation,
Microbiome
|