Langston Barrett

Research & Engineering

I work on applying techniques from programming language theory, formal methods, and functional programming to the challenge of writing correct software.


Langston previously worked at startups and on research in computational algebraic topology. They earned a B.A. in Math and Computer Science from Reed College, where their thesis focused on coinductive types in homotopy type theory.