Frans Kaashoek, Charles Piper Professor, MIT Electrical Engineering and Computer Science and CSAIL, on verifying distributed systems for concurrent separation logic.
Kaashoek’s talk was part of the 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.
13 сен 2024
