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 06.15.2026 Scientists improve nearly every aspect of prime editing, moving it closer to treating more genetic diseases News 05.13.2026 Precision DNA editing targets root cause of severe childhood epilepsy in preclinical study News 05.01.2026 Single-molecule tracker illuminates workings of cancer-related proteins News 04.22.2026 Clinical trial of a prion disease drug candidate begins enrolling participants All news
News 06.15.2026 Scientists improve nearly every aspect of prime editing, moving it closer to treating more genetic diseases
News 05.13.2026 Precision DNA editing targets root cause of severe childhood epilepsy in preclinical study