Digital Lock
Associate Professor, MIT CSAIL

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.

Share
facebookfacebook twittertwitter linkedinlinkedin emailemail
dynamic graphs
Assistant Professor, MIT CSAIL, Assistant Professor of Electrical Engineering and Computer Science, MIT Center for Computational Engineering

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

Share
facebookfacebook twittertwitter linkedinlinkedin emailemail
Obesity Genetics Image
Professor, MIT Department of Biology

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.

Share
facebookfacebook twittertwitter linkedinlinkedin emailemail