支丽红　　
个人简况 　　

支丽红 1969年生于江苏省太仓市 　　

现任职：中科院系统所，研究员 　　

研究方向：基于符号和数值混合计算的可信计算 　　

学历? 　　

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

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

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

主要成果：1. 数值和符号混合方法求解非线性数值多项式方程组2. 基于Ruppert矩阵的多元多项式的近似因式分解3. 最近奇异广义Sylvester 矩阵和多元多项式GCD计算4. 全局最优解的可信验证