Roger Antonsen

Roger Antonsen

Roger Antonsen is an Associate Professor in the Department of Informatics in the research group Logic and Intelligent Data (LogID) at the University of Oslo, and is also currently a Visiting Scholar at UC Berkeley, California. He is a logician, mathematician, computer scientist, researcher, author, lecturer, and public speaker who specializes in logical calculi, proof theory, mathematical logic, complexity theory, automata, combinatorics, and philosophy of mathematics.

Professor Antonsen is the author of Logical Methods: The Art of Thinking Abstractly and Mathematically, a textbook in Norwegian, as well as numerous scientific articles and book chapters. He speaks publicly on a wide variety of topics, ranging from mathematics and computer science to philosophy and art. His talks have explored how a slight change in perspective can reveal patterns, numbers and formulas as the gateways to empathy and understanding.

[addtoany]