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 05.07.2025 How the Novo Nordisk Foundation Center at Ó³»´«Ã½ is using scalable technologies and AI to find the root cause of diabetes News 04.29.2025 Sentinel program among finalists for the $100 Million 100&Change competition 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 All news
News 05.07.2025 How the Novo Nordisk Foundation Center at Ó³»´«Ã½ is using scalable technologies and AI to find the root cause of diabetes