Machine Proof Group at Shanghai University
Vision: ML-driven Automated Reasoning
Research Interests: Automated Reasoning, Explainable AI(XAI), Human-Centered AI(HAI), Data Augmentation, Model Compression
People
PI
Tuo Leng
Associate Professor of School of Computer Engineer and Science/School of Artificial Intelligence
Contact: tleng@shu.edu.cn
Research Staff
Undergraduate Students
Masters Students
Xiaokai Zhang
Masters Student, School of Computer Engineer and Science
Contact: xiaokaizhang1999@163.com
Zhengyu hu
Masters Student, School of Computer Engineer and Science
Contact: huzhengyu2016@gmail.com
Alumni
Chaojie Ni
Mobile engineer, Kernel Development Group, Baidu Inc
Contact: 609295353@qq.com
Chao Yang
Software Engineer, Department of QA, NetEase inc
Contact: evanxephon@gmail.com
Jielin Wan
Mobile engineer, Kernel Development Group, Baidu Inc
Contact: jielinwan@163.com
Zhufu Lu
Manager,Department of Attract Investment, Lingang Group
Contact: zflu@shlingang.com
Yu Wang
Software Engineer, 5G development department, Huawei inc
Contact: 1028247029@qq.com
Yifan Wang
Masters Student, School of Computer Engineer and Science
Contact: wangyifan0216@shu.edu.cn
