I believe in improving our ability to be certain about things.

I’m a security researcher at Akamai interested in type theory, category theory, information security, system safety, and their intersection.

Writing