643
reputation
1
7
16

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.

34
answers
7
questions
~11k
people reached

Top tags (16)

Score 24
Posts 2
Posts % 5
Score 18
Posts 1
Score 18
Posts 1
Score 6
Posts 33
Score 6
Posts 1
Score 6
Posts 1

Top posts (41)

View all questions and answers

Badges (24)

Gold

1

Rarest

Silver

7

Rarest

Bronze

16

Rarest