Hi, this is Tony, a senior Computer Science student in Shanghai Jiao Tong University. I will be joining HKU PL Group in 2022 Fall. I am interested in programming languages and verification, especially areas where mechanical proofs are applied. I have experience with Coq, VST, and Abella theorem provers.
Download my resumé.
Non-Graduating Exchange Student, 2021 Fall
National University of Singapore (School of Computing)
BSc in Computer Science (IEEE Pilot Class), 2018-2022(Expected)
Shanghai Jiao Tong University