Research & Engineering
My goal at Galois is to use my expertise in math and programming languages to help solve useful domain-specific problems. I am fascinated by the mathematics behind many complex structures in computer science, including logic, type theory, and category theory. In addition, I find that collaboration with people in different fields often results in more than the sum of its parts. Programming languages give me the opportunity to work with others to find surprisingly practical applications of some of the most interesting math you can find.