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.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.