conf.researchr.org / Xuanrui Qi
Registered user since Mon 31 Jul 2017
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.
Research interests:Dependent types, proof assistants, functional programming languages, formal methods