I'm Sam. I work on cryptography, computational complexity, and formal verification.
I am an Area Maintainer of CSLib in the cryptography, complexity theory, and learning theory areas.
I like understanding what computers can and cannot do, building useful tools, and making mathematical arguments precise enough for a machine to check.
Here you'll find privacy protocols, complexity theory in Lean, terminal tools, and experiments that occasionally turn into games.
- Computer Science Formalization: cslib-frontier and my CSLib contributions.
- Standards Drafts: Moderation of unLinkable Endorsements (MoLE).
- Teaching: Leanlings, small exercises for learning Lean, and Computable Secrets, my YouTube channel.