I am a functional programmer based in the Bay Area. My current interests are in programming language theory, type theory, and constructive mathematics.
As an undergraduate at UCSD, I did research on information-flow aware runtime systems [TBD] and on verifying cyber-physical systems [CoqPL '16, slides] in the programming systems group.
I'm on Twitter, Linkedin, and Github. You can also email me at (pgp).
Resume Projects Blog more ↓