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

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