Jason Gross
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.
32
answers
7
questions
~3k
people reached
 Massachusetts, USA
 people.csail.mit.edu/jgross
 Member for 2 years, 9 months
 295 profile views
 Last seen Aug 19 at 19:12
Top Posts (39) All Questions Answers  Votes Newest
Badges (16)
Gold
1
Rarest

Silver
2
Rarest

Bronze
13
Rarest
