Ruotong Cheng

portrait of me

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.

Teaching Assistantships

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:

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.