ice1000
6,120
reputation
4
35
74
I'm into univalent type systems. Worked on Agda and Arend, looking for PhD or similar research position.
Profile: https://personal.psu.edu/yqz5714