个人简介：
石海鹤，博士，教授，博士生导师。2010年毕业于中国科学院软件研究所，现任江西师范大学人工智能学院党委委员、副院长，“软件工程”一级学科方向带头人，国家示范型“网络化支撑软件国际科技合作基地”学科方向带头人，江西师范大学“正大学者.青年英才”计划人选，江西师范大学“巾帼建功”先进个人。中国计算机学会（CCF）理论计算机科学专委会执行委员，CCF形式化方法专委会执行委员，中国人工智能学会生物信息学与人工生命专委会执行委员，CCF高级会员，ACM会员。国家自然科学基金通讯评审专家，教育部学位与研究生教育发展中心评估专家，多个国际国内核心期刊的审稿专家。作为访问学者先后赴美国南伊利诺伊大学（Southern Illinois University）、新加坡国立大学（National University of Singapore）、英国密德萨斯大学（Middlesex University London）、香港大学进行合作研究。
联系方式：E-mail：haiheshi@163.com QQ：285297372
研究概况：
主持3项国家自然科学基金项目、5项江西省自然科学基金项目、4项江西省教育厅科技研究项目，作为骨干参与国家自然科学基金重大国际（地区）合作项目、科技部国际合作项目等多项国家级、省部级项目。获江西省高等院校优秀科技成果三等奖（排第一）。在《Integrative Zoology》《BMC Genomics》《计算机学报》《软件学报》、ACM BCB、IEEE BIBM、PRCV、TASE、QSIC等国际国内重要学术刊物和会议上发表学术论文60余篇（SCI/EI论文40余篇），国家一级出版社学术专著2部、计算机专业教材2部，授权国家发明专利近10项，软件著作权10余项。指导学生获国家白名单赛事奖项20余项。
研究兴趣融合了智能计算与软件工程，具体包括:(1)生物信息学与图像处理；(2)软件工程与方法学(基于构件的软件工程、软件构造与演化、软件形式化方法)。