Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Xuanrui Qi

Registered user since Mon 31 Jul 2017

Name: Xuanrui 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

Contributions

Off the Beaten Track 2019 From Tactics to Structure Editors for Proofs
Show activities from other conferences

POPL 2019-profile
View general profile