Associate Professor, logician, mathematician, computer scientist, author, juggler, science communicator at the Department of Informatics, University of Oslo. Visiting scholar at UC Berkeley.