SPLASH 2022 (series) / Zhuo Chen

Registered user since Thu 29 Sep 2022
Name:Zhuo Chen
Country:Australia
Affiliation:University of Melbourne
Twitter:https://twitter.com/zhuozoeychen
Research interests:Formal Methods, Theorem Proving, Theory of Computation, Logic
Contributions
SPLASH 2022 | Towards a Verified Cost Model for Call-by-Push-Value In-person student volunteer in Organizers within the Student Volunteers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile