Jason Gross

Jason 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.

No endorsements yet.

Personal Website

https://jasongross.github.io/

LinkedIn

-

Twitter / X

-

LessWrong

-

EA Forum

-

No grants recorded.