Xuanrui Qi

Registered user since Mon 31 Jul 2017

Name:Xuanrui Qi

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


ML 2021 Author of Formalizing OCaml GADT typing in Coq within the ML 2021-track
CoqPL 2021 Author of Towards a Coq Specification for Generalized Algebraic Datatypes in OCaml within the CoqPL-track
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