Izaak MecklerFounder and CTO at O(1) Labs.
Description
Founder and CTO at CodaProtocol scaling cryptocurrency, functional programming, zk-SNARKs, etc.
I'm a grad student in the math department at UC Berkeley. I like computational complexity, cryptography, geometry and topology, categories, and doing explicit computations about mathematical objects on the computer, among many other things. Here are some things I think are beautiful and cool:
Pseudorandomness; Large scale geometry; Variations on the notion of proof (interactive proofs, PCPs, zero knowledge proofs, arguments, lambda terms); Categorification; Erdős's proof that there are infinitely many primes.