Contemporary and Future Applications of Program Synthesis with Armando Solar-Lezama

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?

What if the future of sustainable construction looked less like traditional building and more like knitting?

When The Jetsons imagined life in 2062, Rosie the robot maid seemed like pure science fiction. Today, chatbots can answer questions, analyze data and even crack jokes. But they still can't load the dishwasher.

Long before smartphones, social media, or ChatGPT, researchers at MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) helped lay the groundwork for the modern internet. In this episode of Building 32, MIT CSAIL senior research scientist, internet pioneer and former Chief Protocol Architect David Clark reflects on those early days and explains how a network designed to connect computers became a force that reshaped society.

MIT has a new podcast. Announcing Building 32, from MIT CSAIL Alliances.