Pengbo is a PhD student in the School of Computing and Information Systems at the University of Melbourne. His research involves formal verification, probabilistic algorithms, and information security.