langston-barrrett.github.io
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.