684 reputation
316
bio website people.csail.mit.edu/jgross
location Massachusetts, USA
age 23
visits member for 3 years, 11 months
seen yesterday

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.


5
× 7
2
× 4
4
× 7
2
× 4
3
× 4
1
× 4
3
× 2
0
× 3
2
× 4
0
× 2
TeX - LaTeX 684 rep 316
Stack Overflow 520 rep 1322
MathOverflow 213 rep 1212
Super User 126 rep 5
Mathematica 118 rep 5

12 Votes Cast

all time   by type  
11 up 0 question
1 down 12 answer