CSAIL Alliances Podcasts

CSAIL Professor Adam Chlipala is working to change some of the fundamental ways we use cryptography. His latest project, Fiat Cryptography, utilizes formal methods to create complex cryptographic code to guarantee correctness. Fiat Cryptography stands to significantly change the efficiency and security of the web. A transcript for this episode can be found here: https://cap.csail.mit.edu/sites/default/files/resource-pdfs/Adam%20Chlipala%20Podcast%20Export%201.pdf

CSAIL Principal Research Scientist Ruth Rosenholtz discusses the rise of video conferencing throughout the pandemic. Rosenholtz shares fascinating insights from her vision science research that could help reshape how video conferencing platforms are used. Please find a link to this podcast's transcript here: https://cap.csail.mit.edu/sites/default/files/resource-pdfs/Ruth%20Rosenholtz%20CSAIL%20Alliances%20Podcast%203.pdf

Professor Justin Solomon discusses the many applications of processing geometric data including medical vision, 3D animation and autonomous vehicles. Please find a transcript for this podcast here: https://cap.csail.mit.edu/sites/default/files/resource-pdfs/Justin%20Solomon%20Podcast%20Export%201%281%29.pdf

Professor Manolis Kellis of MIT CSAIL and the Broad Institute of MIT and Harvard discusses the effects COVID-19 has had on his computational biology research. Kellis believes that by being aware of genetic predispositions we can better prepare to confront each person’s unique challenges. Access the transcript for this podcast at: https://cap.csail.mit.edu/sites/default/files/2021-10/Manolis%20Kellis%20CAP%20Podcast%20Export%203.pdf

CSAIL's Tim Kraska is developing new autoML approaches to make analytics more accessible to a broader range of users and optimize database architecture systems for companies. Access the transcript for the podcast at: http://cap.csail.mit.edu/sites/default/files/2021-08/Tim%20Kraska%20podcast.pdf.

MIT Schwarzman College of Computing Professor and Cambridge Mobile Telematics founder Sam Madden discusses how far technology can be pushed into other application domains. His research explores reinforcement learning and repurposing shelf machine learning components to advance systems and solve current challenges. Access the transcript for the podcast at: https://cap.csail.mit.edu/sites/default/files/2021-07/Sam%20Madden%20Podcast_0.pdf.

Professor Daniel Jackson of MIT CSAIL is working on a number of projects to make software more usable, reliable, and secure. By rethinking the fundamentals of software design, he says that developers can ultimately give more flexibility to users in the structure and organization of software, as well as meet more user needs. Learn more about Professor Jackson at: https://bit.ly/3paRcsm Access the transcript for the podcast at: https://cap.csail.mit.edu/sites/default/files/research-pdfs/Daniel%20Jackson%20Podcast.pdf

Professor Jacob Andreas of MIT CSAIL is trying to close the gap between current machine learning techniques and human abilities to learn language and learn from language about the rest of the world. Learn more about Prof. Andreas at: https://bit.ly/3vECQ5o. Access the transcript for the podcast at: https://cap.csail.mit.edu/sites/default/files/research-pdfs/Edit%20II%20.pdf.

As one of the founding directors of the Free Software Foundation, CSAIL's Prof. Hal Abelson believes that free software empowers everyone to maintain the freedom to run, edit, contribute to, and share software, as well as see everything the software is doing. Learn more about Prof. Abelson at: https://bit.ly/3fPIEEq. Access the transcript for the podcast at: https://cap.csail.mit.edu/sites/default/files/research-pdfs/ResearcherSpotlight_HalAbelson_02_24_2021.pdf

Cryptography, the study of finding secure methods of communication, may seem to many of us as, well, cryptic. But in spite of its more theoretical and foundational nature in computing, cryptography is more important now than ever in securing private communication and other types of information that are no longer stored on our own private machines. Professor Yael Kalai of MIT CSAIL and Senior Principal Researcher at Microsoft Research New England is a cryptographer and theoretical computer scientist working on state-of-the-art ways of securing computation. Learn more about Prof. Kalai's at: https://cap.csail.mit.edu/engage/spotlights/yael-kalai?utm_source=souncloud&utm_medium=social%20media&utm_campaign=yael_kalai_spotlight Access the transcript for the podcast at: https://cap.csail.mit.edu/sites/default/files/research-pdfs/Video%20Edit%20II%20.pdf