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

Publication

Education

Service

Teaching

Projects

Links