• Sign in
  • Sign up
conf.researchr.org / Jason Gross
  • ICFP 2017 profile
  • POPL 2017 profile
  • POPL 2021 profile
  • POPL 2022 profile
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

Share
xSun 29 May 14:30
using conf.researchr.org (v1.55.6)
Support page
Sign Up