Alex Ozdemir

I am excited about making computation more private and secure. Towards this goal, I combine ideas from cryptography, compilers, and automated reasoning. I’m especially interested in the full stack for programmable cryptosystems (such as zero knowledge proofs and multiparty computation).