Visiting address
Faculty Administration
Fysikkbygningen Øst (Map)
Sem Sælands vei 24
0371
OSLO
Norway
Persons tagged with «Processing»
| Name | Phone | Tags | |
|---|---|---|---|
Antonsen, Roger
Associate Professor
|
+47-22852482 97588742 97588742 | rantonse@ifi.uio.no | First-Order Logic, Processing, Netlogo, Mathematical Logic, Outreach, Arduino, Automated Reasoning, Philosophy, Proof Theory, Logical Calculi, Automata, Modal Logic, Philosophy of Mathematics, Combinatorics, Logic, Complexity Theory, Science Communication, Proof Search |