Besøksadresse
Fakultetsadministrasjonen
Fysikkbygningen øst (kart)
Sem Sælands vei 24
0371
OSLO
Name | Phone | Tags | |
---|---|---|---|
![]() |
+47-22852482 97588742 (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 |