Jason Grossless info
|visits||member for||11 months|
|seen||1 hour ago|
I'm a senior undergraduate in mathematics and physics at MIT. I'm planning on going to graduate school in computer science for programming languages. 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.
4 Votes Cast
|all time||by type|