Roger is a logician, mathematician, computer scientist, researcher, author, lecturer, science communicator, and public speaker. You can find him at UC Berkeley, California, where he is a Visiting Scholar, otherwise at the University of Oslo, where he is an Associate Professor at the Department of Informatics in the research group Logic and Intelligent Data (LogID).
Experienced and engaging, Roger enjoys giving inspiring and entertaining talks within a wide variety of topics, ranging from mathematics and computer science to philosophy and art. He challenges his audiences to question their perspectives and think differently. Roger 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.