1996年从中国科学院系统科学研究所获博士学位,1996-1998 系统所助理研究员,1998-2001年日本爱媛大学计算机系助理教授,2001-2002年加拿大西安大略大学计算机系博士后,2003年中国科学院数学与系统科学研究院副研究员、研究员,中国科学院大学岗位教授,中国科学院数学机械化重点实验室主任。加拿大滑铁卢大学Cheriton计算机科学学院兼职教授。
获第七届中国青年女科学家奖。承担973项目数学机械化方法及其在数字化设计制造中的应用项目:基于混合计算 的误差可控算法、自然科学基金委可信计算重点项目:基于符号-数值混合计算的误差可控算法及其应用、国家重点研发计划:量子程序测试、分析与验证、中法国际合作项目代数系统的准确、可信计算等。
曾任ACM SIGSAM 协会副主席和中国数学会计算机数学专业委员会主任,国际符号和代数计算年会International Symposium on Symbolic and Algebraic Computation(ISSAC)大会主席和程序委员会主席。指导的学生论文分别于2004,2013年获得美国计算机协会(ACM)国际符号和代数计算会议(ISSAC)最佳学生论文奖。曾任SIAM Journal on Applied Algebra and Geometry,ACM Communications in Computer Algebra编委。现任Journal of Symbolic Computation, Mathematics in Computer Science编委、系统科学与数学杂志副主编。
近五年的主要研究成果:
1.给出解析系统孤立奇异解二次收敛牛顿迭代方法;首次将斯梅尔关于解析系统简单根的阿尔法理论推广到简单奇异根。
2.给出计算实根理想快速算法,应用于全局最优解的高效计算和可信验证。3.给出无穷维量子Strassen定理、镜像游戏量子完美策略和非交换S-引理等。
在SIAM Journal on Optimization, Mathematics of Computation, Journal of Symbolic Computation,Proc.ISSAC 等国际杂志、会议发表50多篇论文。被邀请在计算机数学重要国际会议ACM International Symposium on Symbolic and Algebraic Computation ,SIAM Applied Algebraic Geometry, IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics,中国工业与应用数学年会做大会特邀报告。
目前主要研究方向:1、奇异多项式系统可信求解.2、(非)交换多项式优化及其在量子计算和机器学习中的应用。3、人工智能在计算机辅助证明中的应用。