Background
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.
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.