Cole Schlesinger

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.