conf.researchr.org / Zichen Zhang
Registered user since Fri 12 Jun 2026
Name:Zichen Zhang
Country:United States
Affiliation:New York University
Personal website: https://u8cat.github.io/
GitHub: https://github.com/u8cat
Research interests:Programming Languages, Formal Methods
Contributions