Swedish Engineering Physics (MSc) graduate, programmer for 15 years. Like programming languages, type theory, Red Bull and hiking.