Registered user since Mon 31 Jul 2017
Name: Xuanrui (Ray) Qi
Bio: I am a master’s student in computer science at Tufts University, where I am advised by Sam Guyer. Previously, I was a research visitor at Nagoya University, Japan, working with Jacques Garrigue, and before that an undergraduate student at Tufts University, from where I graduated with a B.S. in 2018.
Affiliation: Tufts University
Personal website: https://www.xuanruiqi.com
Research interests: Dependent types, interactive proof assistants, functional programming languages, programming languages
|Off the Beaten Track 2019||Author of From Tactics to Structure Editors for Proofs within the Off the Beaten Track 2019-track|
|Show activities from other conferences|