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
Personal website: https://twitter.com/priyasrikumar_
Research interests:Programming Languages, Homotopy Type Theory
Contributions
ICFP 2020-profile
View general profile
View general profile