← Back to PeopleMRResearcherMartin RinardProfessor at MITMartin Rinard is a professor at MIT EECS.1Mentions1Articles1OutletsArticlesMost recent firstMentioned InReferenced in coverageWhen the Hard Part Stops Being HardProofs and IntuitionspositiveAug 17, 2026“Formalized an optimizing compiler in Lean using AI assistance, completing work in one month.”