← Back to PeopleDDResearcherDino DistefanoResearcher at AnthropicLinkedInDino Distefano is a researcher at Anthropic.1Mentions1Articles1OutletsCompanies CoveredAnthropic1Google OSS-Fuzz1Theorem1ArticlesMost recent firstMentioned InReferenced in coverageAnthropic and Theorem said Claude proved security propertiesAnthropicpositiveOct 23, 2026“Co-author on Anthropic formal verification paper with Claude.”