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.
Events in this conference
Current issues and projects in the Maker movement |