侯庆虎

侯庆虎，男，1992年进入南开大学数学“基地班”学习，1996年保送为南开大学数学研究所硕博连读生。2001年获得应用数学博士学位并留校工作。

侯庆虎博士曾在第九届“京津沪”非物理专业的大学生物理竞赛中获得天津市赛区第一名，大学三年级时代表南开大学参加“全国大学生华晨杯数学竞赛”，获团体第一名。在研究生学习期间，曾两次赴美国LosAlamos国家实验室进行助理研究。他与南京大学孙志伟教授合作的关于子集和的论文，被评价为对原问题进行了出色、深刻的推广。此外，他在随机图、细胞自动机、组合计数等领域进行了研究并取得一定的成果。目前研究方向为代数组合学，主要包括组合恒等式的机器证明（科技部973计划项目），对称函数理论，q-级数理论等。

侯庆虎，天津大学数学学院教授，博士生导师。

2001年获得南开大学物理学博士。

2013年国家自然科学基金优秀青年项目获得者。在组合恒等式的机器证明方面取得了多项重要进展：他解决了Zeilberger算法终止性问题。该算法是组合恒等式机器证明的核心算法，使得机器证明成为恒等式研究的重要工具，其提出者因此获得了美国Steele奖。他合作给出了证明无穷q级数等式的系统方法，证明了q级数经典著作《BasicHypergeometricSeries》中的几乎所有恒等式。他合作提出了"组合邻差"的概念，给出了一类组合证明的系统构造方法，《数学评论》称其为证明等式的"有效方法"。他还将机器证明的方法和思想引入到了组合不等式和同余式的证明中。给出了证明高阶对数凸性和同余等式的机械化方法，证明了多个猜想。他参与多个应用项目研究，获得孙冶方经济学奖。从2003年起至今，他一直与社科院合作，利用数学模型进行城市竞争力研究并作为第一副主编发布城市竞争力报告。该系列报告已经成为政府、企业和社会的重要参考，获得了2005年的"孙冶方"经济学奖。他还参与支票防伪、全文检索、人脸识别、图像拼接等应用项目，利用组合数学算法解决实际问题，得到了很好的效果。例如将椭圆曲线加密算法应用于数字签名，能有效解决支票防伪问题。^[1]

时间院校学位1992年-xx南开大学学士1996年-xx南开大学硕士xx-xx南开大学博士

2001年获得应用数学博士学位并留校工作。

在研究生学习期间，曾两次赴美国LosAlamos国家实验室进行助理研究。他的关于组合恒等式机械证明的论文部分解决了该领域权威DoronZeilberger提出的一个猜想，得到了Zeilberger的肯定。

在随机图、细胞自动机、组合计数等领域进行了研究并取得一定的成果。

在应用开发方面，他于1998年－1999年作为骨干参加了天津市重点攻关项目"金融风险预警分析"，完成了《中国金融风险分析手册》和《中国信用风险分析手册》，并在此基础上开发了股市风险分析软件，圆满完成了研究课题。他还曾参与"数据安全系统"课题的研究，运用密码学知识开发出"支票数字防伪系统"，可以有效解决支票的防伪问题。此外，还参与了金融数据分析、全文检索、图像识别等应用课题的研究。2003年主要人员参与了《中国城市竞争力报告》蓝皮书的数据分析与处理。