Breadcrumb Home Videos Formal Methods for the Informal Engineer: Tutorial #2 - The Coq Theorem Prover Online event hosted by the Ó³»´«Ã½ of MIT and Harvard Day 2 (Feb. 4) Opening Remarks Tutorial 2: The Coq Theorem Prover Cody Roux, 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