Index

Researcher with experience in functional programming, formal methods, programming languages, and security. I work at Galois.

• Email://langston.barrett at gmail
• Github://langston-barrett

The statements and views posted here are my own and do not reflect those of my employer.