申请入会
中文版 English
文再文

主要从事最优化理论与方法研究。在流形优化、复合函数优化、面向人工智能的优化、人工智能驱动的优化等方面取得一系列重要成果，推动了最优化在科学计算与工程实践的应用；积极发展了数学形式化和数学定理证明，推动了人工智能与数学的深度融合。