
Carina HongResearcher
Axiom
Founder and CEO
via Axiom
Researcher · Executive
CTO at Axiom
Sengupta spent roughly eight years at Meta's FAIR lab, where he contributed to OpenGo and CrypTen, and earlier worked on early CUDA and distributed-training systems. He is co-founder and CTO of Axiom, a startup building an AI "mathematician" for formal proof generation and verification.
See something inaccurate or outdated?
AxiomWork and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Last editorial review: August 15, 2026