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 01.23.2026 AI generates short DNA sequences that show promise for gene therapies News 01.16.2026 Scientists develop molecules that may treat Crohn’s disease News 01.07.2026 Researchers uncover molecular roots of fibrosis or tissue scarring in inflammatory bowel disease News 12.22.2025 High-fat diets make liver cells more likely to become cancerous All news
News 01.07.2026 Researchers uncover molecular roots of fibrosis or tissue scarring in inflammatory bowel disease