Visiting address
Ole Johan Dahls hus (map)
Gaustadalléen 23 B
N-0373
OSLO
Norway
Name | Phone | Tags | |
---|---|---|---|
![]() |
+47-22852482 +4797588742 | 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 |
![]() |
+47-22852451 | arnem@ifi.uio.no | object orientation, Algorithms, Parallel programming, sorting |
![]() |
+47-22844787 +47-90755587 +4790755587 | torognes@ifi.uio.no | Life sciences, Bioinformatics, Algorithms, Programming, Parallelisation, Sequence analysis, DNA repair, metagenomics, microbiome |