Litao Zhou
Hi, this is Tony, I am a member of the Programming Language Group of the University of Hong Kong, as a Ph.D student starting 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.
Email: ltzhou AT cs DOT hku DOT hk
News
- Nov 2022 A paper is accepted at POPL 2023!
- Sept 2022 An abstract is accepted to be presented at SPLASH 2022 Student Research Competition. See you in Auckland!
- Sept 2022 I become a PhD student in the University of Hong Kong!
- June 2022 I have graduated from Shanghai Jiao Tong University!
Publication
- Recursive Subtyping for All
Litao Zhou*, Yaoda Zhou*, Bruno C. d. S. Oliveira (*Equal Contributions)
In 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), 2023.
- Foundationally Sound Annotation Verifier via Control Flow Splitting
Litao Zhou
[poster] [abstract] [artifact] [report]
In Student Research Competition of ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH SRC 2022), 2022.
Education
- B.Eng in Computer Science. Shanghai Jiao Tong University. 2018 - 2022 [thesis]
- Exchange/Visiting Student. National University of Singapore. 2021
- PhD Student 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