Skip to main content
Jason Gross's user avatar
Jason Gross's user avatar
Jason Gross's user avatar
Jason Gross
  • Member for 14 years, 1 month
  • Last seen this week
Profile Activity
Stats
6,068
reputation
209k
reached
106
answers
47
questions
Communities
View all
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
View all badges
1
gold badge
28
silver badges
55
bronze badges
Top tags
View all tags
275
Score
105
Posts
69
Posts %
63
Score
24
Posts
16
Posts %
26
Score
7
Posts
5
Posts %
21
Score
7
Posts
5
Posts %
17
Score
6
Posts
4
Posts %
7
Score
5
Posts
3
Posts %
Top posts
View all questions, answers, and articles
25
std::cout equivalent at compile time, or static_assert stringification of compile-time constant values in c++11
Nov 20, 2012
15
How do I fix undefined reference to _imp__*?
Apr 7, 2012
15
How do I install rvm without root access?
Aug 17, 2013
13
Ignoring symlinks in git
Mar 4, 2011
12
Profiling Mathematica Code
Nov 11, 2011
10
Individual point coloring in ListPlot, ErrorListPlot in Mathematica
Dec 31, 2011
10
Templated unions in c++11
Nov 17, 2012
9
Why isn't Set -> Set : Set?
Feb 15, 2018
9
How do I revert multiple commits in Mercurial?
Jul 23, 2012
8
How do I get interdependent options?
Oct 28, 2011
Top network posts
View all network posts
42
Formalizations of category theory in proof assistants
27
What are the bases for different Proof Assistants?
21
How do we construct the Gödel’s sentence in Martin-Löf type theory?
20
What is known about performance bottlenecks in proof assistants?
20
How do I make an attached file display like a link?