Registered user since Mon 23 Nov 2020
Name:Cyrus Liu
Country:United States
Affiliation:Grinnell College, USA
Personal website: https://cyrusliu.me
Research interests:Programming Languages, Type Systems, Automated Reasoning, Verification.
Contributions
Using general profile