Date Posted: 10/13/2021
jd648
Permalink
Role: 
Ph.D. Student
Location: 
323 Gates Hall
Email Address: 
keri@cs.cornell.edu
Link: 
http://www.cs.cornell.edu/~keri
Research Focus: 
Category Theory, Homotopy Type Theory
Former Cornellian: 
Image: 
First Name: 
Keri
Show Email?: 
0
Research Concentration: 
Programming Languages and Logics