SPLASH 2023 (series) / Siyuan Brant Qian

Registered user since Wed 15 Mar 2023
Name:Siyuan Brant Qian
Bio:
I am a fourth-year undergraduate student in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC).
Country:United States
Affiliation:University of Illinois at Urbana-Champaign; Zhejiang University
Personal website: https://ece.is
X (Twitter): https://x.com/brant_qian
Research interests:Programming Languages, Formal Methods
Contributions
SPLASH 2023-profile
View general profile
View general profile