Tuo Leng

Associate Professor, Shanghai University

  • Joined November 2022

Names

Tuo Leng (Preferred)

Emails

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

Personal Links

Career & Education History

Associate Professor
Shanghai University (shu.edu.cn)
2018 – Present
 
Assistant Professor
Shanghai University (shu.edu.cn)
2013 – 2018
 
PhD student
Chinese Academy of Sciences (cas.cn)
2010 – 2013
 
MS student
Université des Sciences et Technologies de Lille (Lille I) (univ-lille1.fr)
2004 – 2007
 

Advisors, Relations & Conflicts

No relations added

Expertise

Machine Proof
2008 – Present
 
Automated Reasoning
2008 – Present
 
Symbolic Computation
2008 – Present