Speaker: Roger Antonsen

Senior Lecturer at the University of Oslo.

Computer scientist, logician, mathematician, inventor and juggler with a background in proof theory and mathematical logic. Currently doing science communication, giving popular science talks, and trying to convey the fun and excitement of mathematics and science.

Specialties: Logic, automated reasoning, proof theory, sequent calculus, computation, first-order logic, modal logic, intuitionistic logic, tableau calculi, juggling, notation systems, geometry, rapid prototyping.