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

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

主要研究领域：软件形式化方法，基于构件的软件工程，模型驱动式软件开发，可信软件，生物信息学。