石海鹤(教授,博士)

发布时间: 2022-03-21 浏览次数: 506


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

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

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