Researcher at Anthropic
Co-author on Claude security verification research.
Referenced in coverage
“Co-author on Claude security verification research.”
“Claims that formal verification with AI could patch and prove bug-freeness of entire software stack for ~$100m.”