Breadcrumb Home Videos Formal Methods for the Informal Engineer: Day 3 Online event hosted by the Ó³»´«Ã½ of MIT and Harvard Day 3 (Fri, Feb. 5) Opening Remarks Session 1: General Topics Keynote: Kathleen Fisher, Tufts University Using Formal Methods to Eliminate Exploitable Bugs Slides: Session 2: Verified Software Components Gregory Malecha, BedRock Systems Bringing Verification to the Mainstream: Verifying Concurrent C++ Session 3: Distributed Systems Hillel Wayne, Windy Coast Consulting Designing Distributed Systems with TLA+ Session 4: Robust Machine Learning Mathew Mirman, ETH Zurich Safe Deep Learning Latest news News 11.24.2025 New AI model could speed rare disease diagnosis News 11.20.2025 FDA approves first cancer drug based on Ó³»´«Ã½ science News 11.20.2025 Q&A: How an academic-industry alliance is reshaping the way research can lead to new medicines News 11.19.2025 Single prime editing system could potentially treat multiple genetic diseases All news
News 11.20.2025 Q&A: How an academic-industry alliance is reshaping the way research can lead to new medicines