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 04.16.2025 WhyIScience Q&A: How a chemist moved to the business side of science News 04.09.2025 Potential Alzheimer’s disease therapeutic target identified in brain immune cells News 04.05.2025 David Liu receives Breakthrough Prize in Life Sciences News 04.03.2025 Scientists have developed a way to scale up spatial genomics and lower costs All news