Tuo Leng

Associate Professor, School of Computer Engineering and Sciences, Shanghai University

  • Joined November 2022

Names

Tuo Leng (Preferred)

Emails

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

Personal Links

Career & Education History

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

Advisors, Relations & Conflicts

PhD Advisee
2024 – Present
 
Coauthor
2023 – Present
 
Coauthor
2013 – Present
 

Expertise

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