Ruotong Cheng

I am a second-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, automata, and logic.

Manuscript

Products of Recursive Programs for Hypersafety Verification
with Azadeh Farzan
arXiv

Teaching Assistantships

CSC448/2405 Formal Languages and Automata, Winter 2025
CSC324 Principles of Programming Languages, Fall 2024 (Lead TA), 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 Dr. 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.