Welcome to my home page. If you are interested in what I do, have a look around. I am an associate professor of computer science at the University of Oslo in Norway and a visiting scholar at UC Berkeley, California and ICERM at Brown University. [read more →]


I enjoy giving inspiring and entertaining talks within a wide variety of topics, ranging from mathematics and computer science to philosophy and art, where I try to challenge the audience to question their perspectives and think differently. [read more →]


I teach mathematics and computer science at the University of Oslo in Norway, with an emphasis on the course Logical Methods. [read more →]


My academic interests are mainly logical calculi, proof theory, mathematical logic, complexity theory, cellular automata, combinatorics, and the philosophy of mathematics, but I am also interested in algorithmic art, graphics, and visualizations. [read more →]


Read about my books: Logical Methods: The Art of Thinking Abstractly and Mathematically and Study book for Logical Methods, both published by The University Press. [read more →]


Sketches, experiments, and art. I enjoy making things that both have mathematical content and that are satisfying to watch. [read more →]