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
Using general profile