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 03.04.2026 Gut bacteria rewire fat tissue to burn more energy News 02.26.2026 Study reveals genetic balancing act between autoimmunity and cancer risk News 02.25.2026 Free genetic testing program aims to improve medical care across Alabama News 02.25.2026 Scientists sharpen genetic maps to help pinpoint DNA changes that influence human health traits and disease risk All news
News 02.25.2026 Scientists sharpen genetic maps to help pinpoint DNA changes that influence human health traits and disease risk