支麗紅

支麗紅，1969年出生於江蘇省蘇州市太倉縣瀏河鎮。1987年考入北京大學數學系基礎數學專業。 1991年考入中科院系統科學研究所，跟隨數學機械化中心的吳文俊院士和北京市計算中心的吳文達研究員，開始從事數學機械化和符號數值混合計算的研究。1998—2001 在日本愛媛大學計算機系擔任講師。2001—2002 在加拿大西安大略大學計算機系做博士後研究。2003—2009年中科院數學院副研究員。2009年被聘為中科院數學院研究員。

基本信息

• 中文名：支麗紅
• 出生日期：1969年
• 性別：女
• 出生地：江蘇
• 民族：漢族
• 國籍：中國
• 職業：科學 中國科學院數學與系統科學研究院、計算機代數專業研究員
  
• 畢業院校：北京大學、 中科院系統所、加拿大西安大略大學

教育背景

1987——1991 北京大學數學系 （獲學士學位）

1991——1996 中科院系統所 （獲博士學位）

2001——2002 加拿大西安大略大學計算機系 （博士後）

研究方向

基於符號和數值混合計算的可信計算

主要成果

1. 數值和符號混合方法求解非線性數值多項式方程組

2. 基於Ruppert矩陣的多元多項式的近似因式分解

3. 奇異廣義Sylvester 矩陣和多元多項式GCD計算

4. 全局最優解的可信驗證