I am Yuanzhuo (Pronunciation: /yuan-draw/). I obtained my master’s degree in Computer Engineering from the University of Illinois Urbana-Champaign. I obtained my bachelor’s degree from Huazhong University of Science and Technology.

My research interests include formal methods/verification of programming languages and compiler optimization. Recently, I have been working on how to build a scalable and fast SMT (Satisfiability Modulo Theories) solver, which is used as the backend engine for formal verification.

Publications

• Scalable Floating-Point Satisfiability via Staged Optimization.

  Y. Zhang, Z. Fu, and B. Ravindran (2026).

  Proceedings of the ACM on Programming Languages, Volume 10, Issue PLDI.

  [Project]

Education

• 2023.08 - 2024.12, Master of Engineering in Electrical and Computer Engineering at University of Illinois Urbana Champaign.
• 2018.09 - 2022.06, Bachelor of Engineering in Electrical Engineering at Huazhong University of Science and Technology.

Experience

• 2025.01 - 2026.05, Research Assistant, Virginia Tech, USA.
• 2023.06 - 2023.08, Software Development Engineer Intern, Kingsoft Cloud, China.