I am a førsteamenuensis (UK: lecturer, US: assistant/associate professor) in the Department of Mathematics at the Norwegian University for Science and Technology. I work in both differential and algebraic topology, both of which require that I use some category theory from time to time. I am also extremely interested in how best to use technology to help us do mathematics, particularly in the purer ends of mathematics where the obvious computational uses are not so useful.