Research Engineer
CurrentI work on applying techniques from programming language theory, formal methods, and functional programming to the challenge of writing correct software. In addition to my primary role as a research engineer, I also serve on the Engineering Council.https://galois.com/team/langston-barrett/