PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Cyrus Liu

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

Show activities from other conferences

PLDI 2024-profile
View general profile