Name:J. A. Carr

Bio:

Current CS PhD at UChicago. I am interested in concurrency, substructural typing, applied logic, program analysis. I am passionate about accessibility and high-level languages with heroic compilers.

Country:United States

Affiliation:University of Chicago

Research interests:Program Analysis, Type Theory, Logic