Litao Zhou
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.
News
- June 2022 I have graduated from Shanghai Jiao Tong University!
Publication
- To be filled :)
Education
- 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
Service
- Student Volunteer: ICFP2021
Teaching
- C++ Programming (SJTU). Spring 2022
Projects
- Formalization of Classical Real Number Theory
Links