职称

教授

电子邮件

tleng@shu.edu.cn

办公室

计811室

研究方向

机器证明、自动推理、离散优化、人工智能的数理基础

个人简介

上海大学计算机学院教授、博导。中国数学会计算机数学专委会委员，华东区常委。美国斯坦福大学与英国帝国理工学院访问学者，上海大学几何认知推理团队创始人。主持国家自然科学基金数学天元基金、面上项目、青年项目与上海市教委优秀青年教师项目等多项科研项目。2017 年获得上海市科技进步三等奖。在IJCAI, NeurIPS, MICCAI, PAMS, LAA, JMAA等国际知名学术会议和期刊上发表论文50余篇。