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

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

Contributions

Off the Beaten Track 2019Author of From Tactics to Structure Editors for Proofs within the Off the Beaten Track 2019-track
Show activities from other conferences

POPL 2019-profile
View general profile