Trustworthy Systems
Details
This session will feature short talks by faculty from the MIT Department of Electrical Engineering and Computer Science on trustworthy systems. Speakers include: Adam Chlipala, Srini Devadas, Frans Kaashoek, and Mengjia Yan.