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.

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.

Professor Justin Solomon discusses the many applications of processing geometric data including medical vision, 3D animation and autonomous vehicles.

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.

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.