Hi, this is Tony, a junior Computer Science student in Shanghai Jiao Tong University.
Coding is fun / What’s past is prologue
My research interest includes Programming Language, Functional Programming and Formal Verification. I am actively looking for a PL PhD position in 2022 fall.
Download my resumé.
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
Participate in following projects in Programming Languages.
Participate in following projects in Formal Verification using Coq.