![Xuanrui Qi](https://icfp21.sigplan.org/getProfileImage/xuanruiqi/392b0e87-5f39-4cbb-a422-583db9f3cd15/small.jpg?1712394336000)
Registered user since Mon 31 Jul 2017
Name:Xuanrui Qi
Bio:
I am a graduate student at the Graduate School of Mathematics, Nagoya University. Previously, I received a B.S. and a M.S., both in computer science, from Tufts University.
Country:Japan
Affiliation:Nagoya University
Personal website: https://www.xuanruiqi.com
Research interests:Dependent types, proof assistants, functional programming languages, formal methods
Contributions
ICFP 2021-profile
View general profile
View general profile