conf.researchr.org / Jason Gross
Jason Gross

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, Category Theory, Coq

Contributions

CoqPL 2022 Speaker of Session with the Coq Development Team within the CoqPL-track
Committee Member in Program Committee within the CoqPL-track
CoqPL 2021 Author of A Limited Case for Reification by Type Inference within the CoqPL-track
ICFP 2017 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
CPP 2017 Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track