Si Cheng Zhong

Si Cheng Zhong (Preferred)

****@mail.utoronto.ca (Confirmed)

****@gmail.com (Confirmed)

****@microsoft.com (Confirmed)

Researcher

Microsoft (microsoft.com)

2025 – Present

MS student

Computer Science, Department of Computer Science, University of Toronto (cs.toronto.edu)

2023 – 2025

Undergrad student

Engineering Science, University of Toronto (utoronto.ca)

2018 – 2023

MS Advisor

Xujie Si

2023 – 2025

Automated Reasoning

2023 – Present