Research & Engineering
I build tools to help programmers analyze the health and safety of their systems and to rapidly develop safe and reliable new features in complex domains. My work draws on research in programming languages, type theory, and formal methods.
Cole is a Research Engineer at Galois, with a focus on language design and analysis. He joined in 2023 and brings 11 years of experience in applied research and engineering at companies ranging from small startups (Akita Software, Barefoot Networks) to large, publicly-traded companies (Amazon Web Services, Samsung Research).
Cole received his BS from Ithaca College and PhD from Princeton University, where he studied programming languages with David Walker.
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.