Besøksadresse
Helga Engs hus
(kart)
Sem Sælands vei 7
0371
OSLO
Persons tagged with «Algorithms»
| Name | Phone | Tags | |
|---|---|---|---|
Antonsen, Roger
Associate Professor
|
+47 22852482 +4797588742 (mob) | 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 +47 90755587 (mob) | torognes@ifi.uio.no | Life sciences, Bioinformatics, Algorithms, Programming, Parallelisation, Sequence analysis, DNA repair, metagenomics, microbiome |