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
|
Maus, Arne
|
+47 22852451
|
arnem@ifi.uio.no
|
object orientation,
Algorithms,
Parallel programming,
sorting
|
|
Maus, Arne
|
+47 22852451
|
arnem@ifi.uio.no
|
Parallel programming,
Java,
Object Oriented programming,
Delaunay triangulation,
Sorting,
algorithms
|
Rognes, Torbjørn
Professor
|
+47 22844787
|
torognes@ifi.uio.no
|
Life sciences,
Bioinformatics,
Algorithms,
Parallelisation,
Microbiome
|