was a logician, mathematician, computer scientist, author, public speaker, science communicator, and artist. He taught Logical Methods as an Associate Professor at the Department of Informatics in the research group Analytical Solutions and Reasoning (ASR) at the University of Oslo. He was also a Visiting Scholar at UC Berkeley, California. Antonsens academic interests are logical calculi, proof theory, mathematical logic, complexity theory, automata, combinatorics, philosophy of mathematics, visualizations, and mathematical art.
The Platform for Digital Art History