← Back to People
Researcher at Anthropic
1
Mentions
1
Articles
1
Outlets
Companies Covered
Articles
Most recent firstMentioned In
Referenced in coverage
Anthropic and Theorem said Claude proved security properties
AnthropicpositiveOct 23, 2026
“Co-author on formal verification paper showing Claude proving security properties.”