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 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