2022 Developer Survey is open! Take survey.
user avatar
user avatar
user avatar
Jason Gross
  • Member for 7 years, 3 months
  • Last seen more than a month ago
Stats
251
reputation
1k
reached
2
answers
0
questions
Loading…
About

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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
12
Score
2
Posts
100
Posts %
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %