Breadcrumb Home Videos Formal Methods for the Informal Engineer: Tutorial #1 - The Z3 Theorem Prover Online event hosted by the Ó³»´«Ã½ of MIT and Harvard Day 1 (Feb. 3) Opening Remarks Tutorial 1: The Z3 Theorem Prover Phil Zucker, Draper Labs Latest news News 11.24.2025 New AI model could speed rare disease diagnosis News 11.20.2025 FDA approves first cancer drug based on Ó³»´«Ã½ science News 11.20.2025 Q&A: How an academic-industry alliance is reshaping the way research can lead to new medicines News 11.19.2025 Single prime editing system could potentially treat multiple genetic diseases All news
News 11.20.2025 Q&A: How an academic-industry alliance is reshaping the way research can lead to new medicines