支丽红

中国科学院数学与系统科学研究院
数学机械化重点实验室主任、研究员
电子邮箱：lzhi@mmrc.iss.ac.cn　 电话：+86 10 82541838

研究方向

数学定理自动证明、符号数值计算、（非）交换多项式优化、量子计算。

工作经历

• 2020年至今：中国科学院数学与系统科学研究院数学机械化重点实验室主任。
• 2009年至今：中国科学院数学与系统科学研究院研究员。
• 2003—2008年：中国科学院数学与系统科学研究院副研究员。
• 2020年-2023年：加拿大滑铁卢大学 David R. Cheriton 计算机科学学院兼职教授。
• 2001—2002年：加拿大西安大略大学博士后。
• 1998—2001年：日本爱媛大学助理教授。
• 1996—1998年：中国科学院系统科学研究所助理研究员。

访问经历

• 2022年9—11月：法国庞加莱研究所。
• 2018年9—10月：美国数学研究所（ICERM）。
• 2015年9—12月：加拿大菲尔兹数学研究所。
• 2014年6月：韩国大田国家数理科学研究所。
• 2011年9—10月：法国里昂高等师范学校。
• 2008年7—8月：意大利阿卜杜勒·萨拉姆国际理论物理中心。
• 2007年2—3月：美国明尼苏达大学数学应用研究所。
• 1999年8月：奥地利维也纳技术大学。

教育经历

• 1991—1996年：中国科学院系统科学研究所，数学博士。
• 1987—1991年：北京大学数学系，理学学士。

主要奖励

• 2011年：第七届中国青年女科学家奖（联合国教科文组织与欧莱雅支持）。
• 2010年：中国科学院数学与系统科学研究院十大优秀科研成果奖。
• 2006年：中国科学院系统科学研究所关肇直青年研究者奖。

学术兼职

• 《Journal of Symbolic Computation》编委，2007年至今。
• 《Mathematics in Computer Science》编委，2007年至今。
• 《SIAM Journal on Applied Algebra and Geometry》编委，2016—2022年。
• 《ACM Communications in Computer Algebra》编委，2010—2017年。

科研项目

• 项目负责人，“计算数学理论、算法与软件”，国家重点研发计划，2023—2028年。
• 项目负责人，“多元解析系统奇异零点的孤立”，国家自然科学基金，2021—2024年。
• 课题负责人，“量子程序的验证与分析”，国家重点基础研究发展计划，2018—2023年。
• 项目负责人，“凸代数几何”，国家自然科学基金，2016—2019年。
• 项目负责人，“代数系统的可认证计算”，国家自然科学基金，2012—2015年。
• 课题负责人，“基于符号数值计算的可靠算法”，国家重点基础研究发展计划，2011—2015年。
• 中方协调人，“代数系统的精确/可认证计算”，中法 NSFC—ANR 国际合作项目，2010—2013年。

代表性论文

1. Beibei Xiong, Hangyu Lv, Junqi Liu, Yisen Wang, Shaoshi Chen, Jianlin Wang, Zhengfeng Yang, Lihong Zhi. “Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs.” ICML 2026，（Spotlight）。
2. Junqi Liu, Zihao Dai, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, Lihong Zhi, Jia Li, Wemda Li. “Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics.” ICML 2026。
3. Zihao Dai, Hao Liang, Jinyu Lu, Lihong Zhi. “An Algorithm for Diagonalizing Matrices of Formal Power Series.” Proceedings of ISSAC 2026。
4. Jianting Yang, Ke Ye, Lihong Zhi. “Sparse Sum of Hermitian Squares in Group Algebras of Finite Groups.” Foundations of Computational Mathematics (FoCM)，已接受，2026。
5. Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi. “A Field Theoretic View of Unlabeled Sensing.” Journal of Symbolic Computation, 135, 2026, 102542。
6. Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang. “Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.” ACM Transactions on Programming Languages and Systems, 47(1), 2025。
7. Tianshi Yu, Lihong Zhi. “Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Non-local Games.” Proceedings of ISSAC 2025, 2025。
8. Hao Liang, Sizhuo Yan, Jianting Yang, Lihong Zhi. “The non-Archimedean Nirgendsnegativsemidefinitheitsstellensatz is not true.” Israel Journal of Mathematics, 267, 2025。
9. Jianting Yang, Ke Ye, Lihong Zhi. “Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time.” Applied and Computational Harmonic Analysis, 73, 101686, 2024。
10. Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi. “Unlabeled Sensing Using Rank-One Moment Matrix Completion.” Proceedings of ISSAC 2024, pp. 46—55, 2024。
11. Jianting Yang, Ke Ye, Lihong Zhi. “Lower bounds of functions on finite abelian groups.” International Computing and Combinatorics Conference, pp. 157—170, 2023。

指导学生

在读学生

梁昊（博士生）、代梓灏（博士生）、刘俊杞（博士生）、沈皓（博士生）、王家琪 （博士生）、黄逸鹤 （硕士生）。

已毕业博士生

杨争峰、吴小丽、郭峰、马玥、李楠、郭庆东、王础、郝志伟、杨志红、杨剑霆、闫思卓、禹天石等。

博士后

梁野、李哲、林望、郑涛、丁春。

本简历根据 2026 年英文简历及个人主页公开信息整理，代表性论文与项目并非完整清单。完整论文列表请参阅发表论文页面。