Jason Gross
-
Bio
Updated 05/18/26 · By grantmaking.aiJason Gross is a computer scientist and entrepreneur, co‑founder of Theorem (Theorem Labs), an AI and programming languages research lab focused on program verification; he holds a PhD in Electrical Engineering and Computer Science from MIT, where his research improved proof assistants and contributed verified cryptography now securing large volumes of HTTPS traffic.
Links
Updated 05/18/26 · By grantmaking.ai- Personal Website
- https://jasongross.github.io/
- -
- Twitter / X
- -
- LessWrong
- -
- EA Forum
- -
Organizations
Theorem Labs
Co-founder
Grants
Updated 05/18/26 · By grantmaking.aiNo grants recorded.