Hi! I am a first-year Ph.D. student in the PLSE group at the University of Toronto. My advisor is Prof. Azadeh Farzan. My research interests include software verification, program synthesis, and logic.
- CSC324 Principles of Programming Languages, Winter 2024
- CSC309 Programming on the Web, Fall 2023
Before graduate school
I received H.B.Sc. with high distinction from the University of Toronto in November 2023. During my undergrad, I worked on the following projects:
- Recursive program synthesis, with Dr. Victor Nicolet and Prof. Azadeh Farzan;
- Test concretization in model-based testing, with Dr. Lina Marsso and Nick Feng.
I also assisted with a research about the use of proof assistants, particularly Lean, in math education, led by Dr. Kitty Yan.
Prior to university, I did competitive programming and won a silver medal in National Olympiad in Informatics, China, 2017.
Nothing. Just wanted to have more than one subheading :)