Jason Gross
Loading…
I began a PhD program at MIT in computer science (specifically programming languages) in the fall of 2013. I majored in mathematics and physics as an undergrad at MIT. I'm especially interested in category theory, homotopy type theory, interactive proof assistants, general relativity, quantum mechanics, topology, and education. I've been working on developing a category theory library in Coq with David Spivak and Adam Chlipala, with an eye towards applications to databases.

Massachusetts, USA

Member for 8 years, 6 months

517 profile views

Last seen Jun 12 at 23:30
Communities (19)
Top network posts
Badges (24)
Gold
Rarest

Mar 30 '14
Silver
Rarest

Jun 15 '18

Jan 19 '14

Dec 9 '15
Bronze
Rarest

Apr 20 '14

Dec 12 '19

Dec 21 '13