Alex studies how to make computation more private and secure using ideas from cryptography, compilers, and formal verification. He is especially interested in the full stack for programmable cryptosystems, such as zero knowledge proofs and multiparty computation.

Previously, Alex got his PhD at Stanford, advised by Clark Barrett and Dan Boneh. Before that, he taught high school math and computer science at Loomis Chaffee. He got his BSc from Harvey Mudd College.