Ruize Tang

Researcher, Microsoft Research Asia, Microsoft
Joined
August 2025

Names

Ruize Tang (Preferred)

Emails

****@gmail.com (Confirmed)
, 
****@qq.com (Confirmed)
, 
****@smail.nju.edu.cn (Confirmed)
, 
****@microsoft.com (Confirmed)

Personal Links

Career & Education History

Researcher
Microsoft Research Asia, Microsoft (microsoft.com)
2025 – Present
PhD student
Computer Science, Nanjing University (smail.nju.edu.cn)
2019 – 2025
Undergrad student
Computer Science, Nanjing University (smail.nju.edu.cn)
2015 – 2019

Advisors, Relations & Conflicts

Coauthor
Tianyin Xu
Present
PhD Advisor
Yu Huang
2019 – 2025

Expertise

model checking
Present
distributed systems
Present
concurrent systems
Present

Publications

Co-Authors