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 08.08.2025 Blood-based test provides new diagnostic approach for multiple myeloma News 08.06.2025 Scientists develop technology that brings new precision to genome editing News 08.06.2025 Breathing low-oxygen air slows Parkinson’s progression in mice News 08.01.2025 Genomics points to potential targeted treatment options for pediatric gliomas All news