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.
Affiliation: Nagoya University
Personal website: https://www.xuanruiqi.com
Research interests: Dependent types, proof assistants, functional programming languages, formal methods
|Off the Beaten Track 2019||Author of From Tactics to Structure Editors for Proofs within the Off the Beaten Track 2019-track|
|SPLASH 2018||Author of A Practical and Extensible Framework for Garbage Collection Tracing within the SRC-track|