Shanwen Wang

Associate Professor, Renmin University of China
Joined
June 2025

Names

Shanwen Wang (Preferred)

Emails

****@ruc.edu.cn (Confirmed)

Personal Links

Career & Education History

Associate Professor
Renmin University of China (ruc.edu.cn)
2019 – Present
Principal Researcher
Fudan University (fudan.edu.cn)
2015 – 2019
PhD student
École Polytechnique (polytechnique.fr)
2007 – 2010

Advisors, Relations & Conflicts

PhD Advisor
Pierre Colmez
2007 – 2010

Expertise

Formalize mathematics
2022 – Present

Publications

Co-Authors