Скачать с ютуб Trustworthy Systems: Adam Chlipala в хорошем качестве

Trustworthy Systems: Adam Chlipala

Adam Chlipala, Professor of Computer Science, MIT Electrical Engineering and Computer Science and CSAIL, on cryptographic software and the Fiat Cryptography project, which provides a generator that automates specialization work that was previously highly manual. Chlipala’s talk was part of a session on "Trustworthy Systems" for the Expanding Horizons in Computing series. Organized by MIT faculty, the series of bootcamps, workshops, short talks, panels, and roundtable discussions delved into exciting areas of computing and AI, with topics ranging from security, intelligence, and deep learning to design, sustainability, and policy. Watch more videos from the MIT Schwarzman College of Computing:    / @mitcomputing   The mission of the MIT Schwarzman College of Computing is to address the opportunities and challenges of the computing age — from hardware to software to algorithms to artificial intelligence — by transforming the capabilities of academia in three key areas: strengthen core computer science and AI; infuse the forefront of computing with disciplines across MIT; and advance social, ethical, and policy dimensions of computing. Learn more at computing.mit.edu.