Skip to main content
Jason Gross's user avatar
Jason Gross's user avatar
Jason Gross's user avatar
Jason Gross
  • Member for 10 years, 4 months
  • Last seen more than a month ago
Stats
589
reputation
6k
reached
2
answers
14
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.

This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
1
Score
7
Posts
44
Posts %
0
Score
5
Posts
31
Posts %
0
Score
5
Posts
31
Posts %
0
Score
5
Posts
31
Posts %
0
Score
4
Posts
25
Posts %
0
Score
3
Posts
19
Posts %
Top posts
View all questions and answers