StarkWare Scholar Summit – Yael Kalai: Proofs for Muggles, for Muggles
Yael Kalai guides us through the fascinating realm of cryptographic proofs, breaking down intricate ideas into simple, intuitive explanations. She will cover fundamental concepts and the latest advancements in the field, demonstrating how these proofs underpin the security and reliability of modern digital systems.
About the speaker:
Yael Tauman Kalai is a Senior Principal Researcher at Microsoft Research and a Professor at the Massachusetts Institute of Technology (MIT). Kalai earned a BSc in Mathematics from the Hebrew University of Jerusalem, an MSc in Computer Science and Applied Mathematics from The Weizmann Institute of Science, and a PhD in Computer Science from the Massachusetts Institute of Technology. Kalai’s honors include an Outstanding Master’s Thesis Prize (Weizmann Institute of Science, 2001), the George M. Sprowls Award for Best Doctoral Thesis in Computer Science (MIT, 2007).
She is the recipient of the 2022 ACM Prize in Computing and is a Fellow of the International Association for Cryptologic Research (IACR). Additionally, Kalai was an invited speaker at the International Congress of Mathematics (ICM, 2018).
This talk was given at StarkWare Scholar Summit on August 5, 2024. This event brought together a global community of researchers, engineers, and thought leaders to explore the latest and greatest in blockchain tech.
