Roger is a logician, mathematician, computer scientist, researcher, inventor, author, lecturer, science communicator, and public speaker. You can find him at the University of Oslo, where he teaches *Logical Methods* as an Associate Professor at the Department of Informatics in the research group Logic and Intelligent Data (LogID).

Experienced and engaging, Roger enjoys giving inspiring talks on almost any topic related to mathematics, computer science, and philosophy. He is known for entertaining his audience with juggling and other creative ways of exploring new perspectives on challenging topics. He is available to give talks both within Norway and abroad.

Roger teaches mathematics and computer science at the University of Oslo, Norway. His course, *Logical Methods for Computer Science*, has been well reviewed by students and peers.

Roger's academic interests are logical calculi, proof theory, mathematical logic, complexity theory, automata, combinatorics, and the philosophy of mathematics. His PhD thesis is about sequent calculi for first-order logics with free variables.

*Logical Methods: The Art of Thinking Abstractly and Mathematically*, The University Press (2014, in Norwegian)
This book provides a solid foundation for study in the sciences with an introduction and explanation of the most important and essential concepts within mathematics and science. The book is based on lecture notes from several years of teaching introductory courses and is intended for first semester students.