ice1000 profile image
2084
Reputation: 5779
Pennsylvania, USA

ice1000

I'm into univalent type systems. Worked on Agda and Arend, looking for PhD or similar research position.

Profile: https://personal.psu.edu/yqz5714