Biography
Hi, this is Tony, a senior Computer Science student in Shanghai Jiao Tong University. I will be joining HKU PL Group in 2022 Fall. 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.
Download my resumé.
Interests
- Formal Verification
- Programming Languages
- Type Systems
Education
-
Non-Graduating Exchange Student, 2021 Fall
National University of Singapore (School of Computing)
-
BSc in Computer Science (IEEE Pilot Class), 2018-2022(Expected)
Shanghai Jiao Tong University
Experience
Research Assistant (Part-time)
Studying iso-recursive subtyping.
Research Intern
Automatic Verification of Higher Order Programs (One-semester personal project).
Final Year Project
VST-A, a control-flow splitting system for formal verification of assertion-annotated C programs.
Software Engineer Intern
In Visual and Parallel Computing Group, developed a web-based automation tool to smooth the testing workflow of graphics drivers.
Research Intern
Formal verification of functional programming compilers in Abella.
Projects
*
