About the instructor

I’m Alex Ozdemir. I’m a PhD student at Stanford. I do research in cryptography and formal methods. Cryptography is about using mathematics to protect you and your computer. Formal methods is about making sure that your computer is implementing the right mathematics. Lately, my research has been focused on expanding the capabilities and interfaces of zero-knowledge proof systems.

Previously, I was a teacher at Loomis Chaffee high school. Before that, I was an undergraduate student at Harvey Mudd College. I grew up in California, and I have always found peace and beauty in its wilderness.

Email: hover
Office: Gates 178
Website