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

Publication

Education

Service

Teaching

Projects

Links