Shuling Wang

Associate Professor, Institute of Software Chinese Academy of Sciences
Joined
January 2026

Names

Shuling Wang (Preferred)

Emails

****@ios.ac.cn (Confirmed)

Personal Links

Career & Education History

Associate Professor
Institute of Software Chinese Academy of Sciences (is.cas.cn)
2012 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

program verification
Present
theorem proving
Present

Publications

No publications

Co-Authors

No co-authors