石海鹤，女，中国科学院软件研究所博士，教授，博士生导师，“软件工程”一级学科方向带头人，国家示范型“网络化支撑软件国际科技合作基地”学科方向带头人，江西师范大学“正大学者.青年英才”计划人选，江西师范大学“巾帼建功”先进个人。国家自然科学基金通讯评审专家，教育部学位与研究生教育发展中心评估专家，多个国际国内核心期刊的审稿专家。中国计算机学会（CCF）理论计算机科学专委会执行委员，CCF形式化方法专委会执行委员，中国人工智能学会生物信息学与人工生命专委会执行委员，CCF高级会员，ACM会员。作为访问学者先后赴美国南伊利诺伊大学（Southern Illinois University）、新加坡国立大学（National University of Singapore）、英国密德萨斯大学（Middlesex University London）、香港大学进行合作研究。

近年来，主持3项国家自然科学基金项目、5项江西省自然科学基金项目、3项江西省教育厅科技研究项目，作为骨干参与国家自然科学基金重大国际（地区）合作项目、科技部国际合作项目等多项国家级、省部级项目，主持完成的课题成果获江西省高等院校优秀科技成果三等奖。在《Pacific Journal of Optimization》、《计算机学报》、《软件学报》、《计算机研究与发展》、CBC、TASE、QSIC等国际国内重要学术刊物和学术会议上发表学术论文50余篇，其中SCI/EI论文30余篇。独著科研专著2部，主编计算机专业教材2部，获国家软件著作权6项。指导研究生多次荣获全国研究生数学建模竞赛奖。

主要从事基于构件的软件工程、生物信息学、模型驱动式软件开发、软件的构造和演化以及软件形式化方法的研究。

E-mail：haiheshi@163.com   QQ：285297372