| 石海鹏（博士、副教授、电子信息硕导） |
---------------------------------------------------------------------------------------------------------------------
姓 名：石海鹏 职 称：副教授 学 历：研究生 学 位：博士 邮 箱： option2001@163.com 研究方向： 知识管理、区块链技术等 电 话：13677082106 |  |
| 招生资格领域 |
----------------------------------------------------------------------------------------------------------------------
计算机技术、软件工程
| 教育背景 |
----------------------------------------------------------------------------------------------------------------------
本科 1996-2000 江西师范大学 计算机科学与技术专业
硕士 2001-2004 江西师范大学 计算机科学与技术专业
博士 2015-2021 江西财经大学 管理科学与工程专业
| 教学工作 |
----------------------------------------------------------------------------------------------------------------------
本科生课程： 计算机网络、数据结构、数据库原理、软件工程等
硕士生课程： 计算机网络
| 课题项目 |
----------------------------------------------------------------------------------------------------------------------
[1] 江西师范大学教改课题，“阶梯教育在《软件工程综合设计与实践》课程中的应用”（主持，2013）
[2] 江西师范大学青年成长基金课题，“模型驱动架构下MVC Web应用的关键技术研究”（主持，2015）
[3] 江西省高等学校教学改革课题，“基于MDA项目驱动式教学研究与实践” （主持，2016）
[4]江西省研究生创新专项资金项目，“新常态下基于知识互动的企业协同服务创新影响因素研究”（主持，2016）
[5] 国家自然科学基金项目，“企业协同创新过程中知识互动机制研究”（项目批准号：71561010，起止日期：2016/1-2019/12，参与研究）
[6] 国家自然科学基金项目，“PAR框架下形式化构件装配的高效生物序列分析动态规划算法构造”(项目批准号：61662035，起止日期：2016/9-2020/12，排名第3)
[7] 国家自然科学基金项目，“在线用户创新社区用户贡献价值：产品消费和创意采纳的形成机理研究”（项目批准号：71762018，起止日期：2018/1-2021/12，排名第2）
| 论文发表 |
----------------------------------------------------------------------------------------------------------------------
Shi Haihe, Lan Sunwen, Liu Riming, Shi Haipeng, et al. Unified Formal Construction and Isabelle Verification of the Dynamic Programming Algorithms for Biological Sequence Alignment [J]. .Journal of Computer Research and Development, 2025.
Shi H, Huan C, Qinghong Y, et al. A Method for Bio-Sequence Analysis Algorithm Development Based on the PAR Platform[J]. BIG DATA MINING AND ANALYTICS, 2023.
Shi H, Shi H, Xu S. Efficient Multiple Sequences Alignment Algorithm Generation via Components Assembly Under PAR Framework[J]. FRONTIERS IN GENETICS, 2021.
Shi H, Shi H, Xu S. Algorithm Design Through the Optimization of Reuse-Based Generation[J]. COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, 2021.
| 专利/软著 |
---------------------------------------------------------------------------------------------------------------------- [1] “‘吃饭吧’校园网上订餐系统”，计算机软件著作权（软著登字第0898151号）
[2] “基于B2C的在线购书商城”，计算机软件著作权（软著登字第0960275号）
[3] “城市寻厕系统V1.0”，计算机软件著作权（软著登字第1110369号）
[4] “大学生畅游江西在线系统V1.0”，计算机软件著作权（软著登字第1312660号）
[5] “校园失物招领系统”，计算机软件著作权（软著登字第1389234号
| 荣誉奖励 |
----------------------------------------------------------------------------------------------------------------------
[1] 指导学生荣获第十八届江西省电子电脑设计大赛一等奖，江西省教学成果三等奖。
[2] 指导学生荣获第六届中国大学生计算机设计大赛三等奖。
[3] 第四届、第五届“蓝桥杯”全国软件专业人才设计与创业大赛优秀指导教师。
[4] 第四届“蓝桥杯”全国软件和信息技术专业人才大赛优秀指导教师。
[5] 江西省大学生计算机作品赛中荣获优秀指导老师。
[6] 指导学生荣获第9届全国信息技术应用水平大赛江西赛区二等奖，优秀指导教师奖。
[7] 2014年江西省科学技术进步三等奖（排名第3）。
[8] 2006江西省高等学校科技成果二等奖（排名第4）
| 社会兼职 |
----------------------------------------------------------------------------------------------------------------------
江西省电子学会