Hi, this is Tony, I will be joining Programming Language Group of the University of Hong Kong, as a Ph.D student in 2022 Fall supervised by Prof. Bruno C. d. S. Oliveira. 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.
- June 2022 I have graduated from Shanghai Jiao Tong University!
- To be filled :)
- B.Eng in Computer Science. Shanghai Jiao Tong University. 2018 - 2022
- Exchange/Visiting Student. National University of Singapore. 2021
- PhD in Computer Science. The University of Hong Kong. 2022 - present
- Student Volunteer: ICFP2021
- C++ Programming (SJTU). Spring 2022