Pengbo Yan -

Registered user since Tue 7 Sep 2021

Name:Pengbo Yan

Affiliation:University of Melbourne

Personal website: https://www.linkedin.com/in/pengbo-yan-7b48471b2

Research interests:Formal verification

Contributions

2022

SPLASH

In-person student volunteer in Organizers within the Student Volunteers-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track