Tuo Leng (Preferred)
Tuo Leng
Associate Professor, School of Computer Engineering and Sciences, Shanghai University
Joined
November 2022
Names
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
Expertise
Machine Proof
2008 – Present
Automated Reasoning
2008 – Present
Symbolic Computation
2008 – Present