101 reputation
1
bio website people.csail.mit.edu/jgross
location Massachusetts, USA
age 22
visits member for 3 years
seen Dec 19 '12 at 23:49

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 has not answered any questions
TeX - LaTeX 654 rep 315
Stack Overflow 468 rep 1317
MathOverflow 213 rep 1210
Super User 111 rep 5
Ask Ubuntu 103 rep 3

0 Votes Cast

This user has not cast any votes