← Back to PeopleResearcherJason GrossResearcher at AnthropicLinkedIn@diagram_chaserWebsiteResearcher at Anthropic who works on AI tools and marketing applications.2Mentions2Articles2OutletsOct 2026 — Nov 2026CoverageCompanies CoveredAnthropic1Google OSS-Fuzz1Theorem1Appears InAnthropic1Blog on Theorem1Appears AlongsideSami JawharResearcher2 shared articlesLuke ChampineResearcher2 shared articlesHarshikaa AgrawalResearcher2 shared articlesNickolai ZeldovichResearcher2 shared articlesArticlesMost recent firstMentioned InReferenced in coverageProving file integrity for an xv6 sandboxBlog on TheorempositiveNov 3, 2026“Jason Gross contributed to formalizing file integrity proofs for xv6 sandbox systems.”Anthropic and Theorem said Claude proved security propertiesAnthropicpositiveOct 23, 2026“Co-author on Anthropic formal verification paper with Claude.”