About Me

Hello! I am a PhD student in informatics at Universitetet i Bergen. I have a bachelors in Computer Science and Philosophy from the University of Oxford and a Masters in Informatics specialising in Logic from UiB. I have worked in a wide range of industries including teaching, web-development, linux driver development computer-vision and I can guarantee you that I have controversial opinions in all those areas…

Functional programming is a major passion along with principles of programming languages and rejecting the law of excluded middle is the hill I will die on (worthy cause). But my head isn’t always in the clouds. I have a passion for systems programming and unix/unix-like operating systems, especially the writing of safety critical systems code.

You can find my (probably out of date) CV here
and my GPG key here