![Jason Gross](https://popl17.sigplan.org/getProfileImage/jasongross/50982b68-7996-4b66-9448-2b97a3d1fe05/small.jpg?1718041584000)
Registered user since Thu 13 Nov 2014
Name:Jason Gross
Country:United States
Affiliation:MIT CSAIL
Personal website: http://people.csail.mit.edu/jgross/
Research interests:Programming Languages, Homotopy Type Theory
Contributions
POPL 2017-profile
View general profile
View general profile