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 08.08.2025 Blood-based test provides new diagnostic approach for multiple myeloma News 08.06.2025 Scientists develop technology that brings new precision to genome editing News 08.06.2025 Breathing low-oxygen air slows Parkinson’s progression in mice News 08.01.2025 Genomics points to potential targeted treatment options for pediatric gliomas All news