| 基本情况 |
---------------------------------------------------------------------------------------------------------------------
姓名：石海鹤 职务：无 职称：教授 学历：博士 邮箱：haiheshiAT163.com |  |
| 个人简介 |
----------------------------------------------------------------------------------------------------------------------
“软件工程”一级学科方向带头人，国家示范型“网络化支撑软件国际科技合作基地”学科方向带头人，江西师范大学“正大学者.青年英才”计划人选，江西师范大学“巾帼建功”先进个人。国家自然科学基金通讯评审专家，教育部学位与研究生教育发展中心评估专家，多个国际国内核心期刊的审稿专家。中国计算机学会（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部。
| 专利/软著 |
----------------------------------------------------------------------------------------------------------------------
| 荣誉奖励 |
----------------------------------------------------------------------------------------------------------------------
江西师范大学“正大学者.青年英才”计划人选，江西师范大学“巾帼建功”先进个人。
| 社会（学术）兼职 |
----------------------------------------------------------------------------------------------------------------------
中国计算机学会（CCF）理论计算机科学专委会执行委员，CCF形式化方法专委会执行委员，中国人工智能学会生物信息学与人工生命专委会执行委员，CCF高级会员，ACM会员