← Back to PeopleZSResearcherZygi StraznickasResearcher at AnthropicCo-author on Claude formal verification research paper.1Mentions1Articles1OutletsCompanies CoveredAnthropic1Google OSS-Fuzz1Theorem1ArticlesMost recent firstMentioned InReferenced in coverageAnthropic and Theorem said Claude proved security propertiesAnthropicpositiveOct 23, 2026“Co-author on Claude formal verification research paper.”