.@MIT_CSAIL's Tamara Broderick and her research group propose a novel method to determine the sensitivity of data to results in a large data set.
Watch Tamara discuss more about the group's work here: https://t.co/TA3K4uEEhb
.@MIT_CSAIL's 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.
Read more about Adam's work: https://t.co/XzRycI0aNu