Home page

Håkon Robbestad Gylterud

Welcome. This is my personal home page.

Contact Research Tutorials
About me Diary Links

Projects

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?”
newmail A script for generating random e-mail aliases.
Audio Stimulating the auditory perception.
Roleplaying Here be dragons…

About me

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.


Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of this site. See my contact info. You can also write your opinion on your own website, and link back here! ☺