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

  [report (in Chinese)] [slides (in Chinese)] [artifact]

• Formal Verification of Tarjan's Algorithm

  [report] [slides]

• Automatic Verification of Higher Order programs

  [report] [slides] [artifact]

Links

• My GitHub, Instagram, and Twitter.