Welcome. This is my personal home page.
Big and small, in-progress and completed…
|Algebraic type theory||Specifications of dependent formal theories.|
|Multisets and sets in HoTT||Homotopical iterative structures.|
|Quoting operations||“What is in a quote?”|
|The anti-pattern game||A game about avoiding repetition.|
||A script for generating random e-mail aliases.|
|Audio||Stimulating the auditory perception.|
|Roleplaying||Here be dragons…|
Born in Oslo, but spent most of my childhood on the island of Stord on the Norwegian west coast. Moved back to Oslo to study Mathematics and Informatics at the University of Oslo. After completing my Master Degree, I moved to Stockholm, where I took my Ph.D. in Mathematics at Stockholm University.
In Stockholm I met my wife, Inna, and we got a son. Recently, we moved to Bergen where I currently work as a researcher in type theory, at the University of Bergen.
My professional interests include many areas of mathematics and informatics, such as logic, category theory, type theory, algebra, data structures, cryptography, topology, homotopy theory and computer formalisation of mathematics. I have also worked as a programmer, and emphasise constructivity in all my theoretical work.
On my spare time I enjoy hiking, tinkering with computers, reading, listening to music and playing Dungeons & Dragons.