David Christiansen

Research & Engineering

I think that programming is most fun when it is a constructive dialog between humans and machines, where each does the work to which they are best suited. Getting there will require combining a number of rigorous, mathematically-founded tools with a focus on the experience of the individual programmer, as well as finding accessible ways to talk about difficult ideas. When I’m not working on making programming better, I like cooking, playing with my dog Sadie, and exploring Portland.


David Christiansen received his B.A. in Philosophy from the University of Idaho and M.Sc. and Ph.D. from the IT University of Copenhagen. His academic work focused on building tools for metaprogramming with dependent types, as part of the Idris language. At Galois, he focuses on projects where programmer experience meets mathematical rigor, attempting to make this interface more fun. Together with Dan Friedman, he is a co-author of The Little Typer.