<< Back to list

Pengbo Yan

University of Melbourne
pengboy@student.unimelb.edu.au

PhD Student

Pengbo Yan is a PhD student at The University of Melbourne. He received his masters degree from The University of Melbourne in 2020. His primary research interest is in formal verification with applications to security.