is a logician, mathematician, computer scientist, author, public speaker, science communicator, and artist. He teaches 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 is 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.
