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.