ICFP 2021
Sun 22 - Sat 28 August 2021
Xuanrui Qi

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
Research interests:Dependent types, proof assistants, functional programming languages, formal methods

Contributions

Show activities from other conferences

ICFP 2021-profile
View general profile