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 10.16.2025 Ó³»´«Ã½-Bayer collaboration leads to drug candidate for a hard-to-treat type of lung cancer News 10.15.2025 Ó³»´«Ã½ Clinical Labs sets new GUINNESS WORLD RECORDSâ„¢ title for fastest DNA sequencing technique News 10.08.2025 A pioneering effort in patient-partnered cancer research enters a new phase News 09.30.2025 Jason Buenrostro named core institute member at Ó³»´«Ã½ All news
News 10.16.2025 Ó³»´«Ã½-Bayer collaboration leads to drug candidate for a hard-to-treat type of lung cancer
News 10.15.2025 Ó³»´«Ã½ Clinical Labs sets new GUINNESS WORLD RECORDSâ„¢ title for fastest DNA sequencing technique