bio | website | people.csail.mit.edu/jgross |
---|---|---|

location | Massachusetts, USA | |

age | 23 | |

visits | member for | 2 years, 1 month |

seen | Feb 26 at 22:56 | |

stats | profile views | 253 |

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.

TeX - LaTeX | 739 rep | 317 | |

Stack Overflow | 567 rep | 1522 | |

MathOverflow | 228 rep | 1212 | |

Theoretical Computer Science | 146 rep | 3 | |

Super User | 136 rep | 6 |

This user has no active bounties

# 4 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

4 | up | 0 | question | ||

0 | down | 4 | answer |