支丽红

支丽红，1969年出生于江苏省苏州市太仓县浏河镇。1987年考入北京大学数学系基础数学专业。1991年考入中科院系统科学研究所，跟随数学机械化中心的吴文俊院士和北京市计算中心的吴文达研究员，开始从事数学机械化和符号数值混合计算的研究。