HomeBuilding 32 from MIT CSAIL AlliancesHow a Mathematician Keeps Computers Honest
Building 32 from MIT CSAIL AlliancesHow a Mathematician Keeps Computers Honest

27 min . Oct 13, 2026 . Computer Science    Data Science, Analytics & Computer Technology

Yael Tauman Kalai is a computer scientist who doesn’t code. Instead, this MIT CSAIL professor uses mathematics and cryptography to tackle some of computing’s biggest security questions: How can we know if a message is secure or if an LLM answer is correct? What does it mean to know anything when it comes to computation and trust? Professor Kalai’s work is setting the stage for verifiable, provable AI training, as well as keeping us safe in a post-quantum world. Learn what she thinks about the future of cryptography and why she sleeps well at night. Learn more about Yael Kalai Spotlight: https://cap.csail.mit.edu/engage/spotlights/yael-kalai Building 32 episodes, meet the host, and more: csail.mit.edu/podcast Connect with CSAIL Alliances: On our site: cap.csail.mit.edu/about-us/meet-our-team On LinkedIn: linkedin.com/company/mit-csail #QuantumComputing #Encryption #Cybersecurity #Cryptography #Technology #ComputerScience #Quantum #MIT