发布时间：2013-09-23 | 来源：
支丽红，研究员、中国科学院数学机械化重点实验室副主任
符号和数值混合计算
国际上最早从事该领域的学者之一，在基于结构矩阵的基本代数运算的混合算法、(半)代数系统奇异解的计算、精化和验证、半正定规划和有理函数全局最优解的可信验证方面取得一系列突出成果，获第七届中国青年女科学家奖。承担973项目、自然科学基金委可信计算重点项目、中法国际合作项目代数系统的准确、可信计算。担任美国ACMSIGSAM协会副主席和多个国际权威杂志J. Symbolic Computation，Elsevier，SIAM J. Applied Algebra and Geometry，Mathematics in Computer Science, Springer和国内系统科学与数学杂志的编委。多次被邀请在ISSAC，SIAM-AAG，GAMM-IMACS重要国际会议上做大会特邀报告。指导的学生论文分别于2004,2013年获得美国计算机协会(ACM)国际符号和代数计算会议(ISSAC)最佳学生论文奖。
【代表性论文】
[1] "Semidefinite Representations of Non-compact Convex Sets", SIAM J. Optimization, 25(1):377-395,2015.
[2] "Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems", SIAM J. Numerical Analysis, 52(4):1623-1640,2014.
[3] "Computing rational solutions of linear matrix inequalities", Proc. 2013 International Symposium on Symbolic and Algebraic Computation, pp197-204, 2013 ACM SIGSAM's ISSAC 2013(Distinguished Student Author Award).
