David Christiansen

Copenhagen, Denmark

davidchristiansen.dk

Age: 29

I'm a PhD student at IT University of Copenhagen and a contributor to the Idris programming language.