支丽红

支丽红，1969年出生于江苏省苏州市太仓县浏河镇。1987年考入北京大学数学系基础数学专业。 1991年考入中科院系统科学研究所，跟随数学机械化中心的吴文俊院士和北京市计算中心的吴文达研究员，开始从事数学机械化和符号数值混合计算的研究。1998—2001 在日本爱媛大学计算机系担任讲师。2001—2002 在加拿大西安大略大学计算机系做博士后研究。2003—2009年中科院数学院副研究员。2009年被聘为中科院数学院研究员。

1987——1991 北京大学数学系（获学士学位）

1991——1996 中科院系统所（获博士学位）

2001——2002 加拿大西安大略大学计算机系（博士后）

基于符号和数值混合计算的可信计算

1. 数值和符号混合方法求解非线性数值多项式方程组

2. 基于Ruppert矩阵的多元多项式的近似因式分解

3. 奇异广义Sylvester 矩阵和多元多项式GCD计算

4. 全局最优解的可信验证