Researcher, lecturer, logician, mathematician, computer scientist, inventor, juggler, science communicator at the Department of Informatics, University of Oslo. twitter.com/rantonse