POPL 2027
Sun 10 - Sat 16 January 2027 Mexico City, Mexico
POPL 2027 (series) / Xiaojia Rao
Xiaojia Rao

Registered user since Fri 7 Apr 2023

Name:Xiaojia Rao
Country:United Kingdom
Affiliation:Mathlib Initiative
Personal website: https://www.raoxiaojia.com
GitHub: https://github.com/raoxiaojia
Research interests:Theorem Provers, Verified Execution, Type Theory, Programming Languages, Mathematics

Contributions

Show activities from other conferences

POPL 2027-profile
View general profile