Digital Lock
Professor, MIT EECS

PRODUCED BY: Nate Caldwell

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.

Obesity Genetics Image
Professor, MIT CSAIL

PRODUCED BY: Nate Caldwell

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.

Please find the transcript for this podcast here.