Ruotong Cheng

portrait of me

I am a third-year Ph.D. student in the PLSE group at the University of Toronto. My advisor is Prof. Azadeh Farzan. My primary research area is software verification. In addition, I am interested in automata theory, both for applications in verification and for its own sake.

Currently, problems that I work on are related to (1) proof systems and their automation for parameterized concurrent programs, and (2) verification of hypersafety properties through program alignment.

Publication

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 participated in programming contests and won a silver medal in National Olympiad in Informatics, China, 2017. Many years later, as her paper faced the firing squad, Ruotong was to remember that distant afternoon when her schoolmate took her to discover finite-state machines...