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.