How a Mathematician Keeps Computers Honest

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