Priya Srikumar

Registered user since Wed 15 Jan 2020

Name:Priya Srikumar
Bio:

I’m a junior completing a BS in Computer Science at Cornell University. I intend to go to graduate school for a PhD in CS, specifically focusing on PL (although I’m not sure about what subfield!).

Country:United States
Affiliation:Cornell University
Research interests:Programming Languages, Homotopy Type Theory

Contributions