Name: | 石海鹤 |
Professional Title: | Professor |
Research Fields: | Component-based software engineering, model-driven software development, software formal method, biological computing |
E-mail: | |
Short Bio: | I am a teacher in the College of Computer Information and Engineering at Jiangxi Normal University, Nanchang, China. I graduated from Institute of Software, Chinese Academy of Sciences in 2010 and gained PhD degree of computer software and theory. Now my main research interests include model-driven software development, component-based software engineering, and software formal method. |
Publications: | 1. Haihe Shi, Jinyun Xue. Research on Automated Sorting Algorithms Generation Based on PAR. Journal of Software, 2012,23(9):2248-2260 (in Chinese with English abstract). |
Projects: | 1. “Efficient Dynamic Programming in Biosequence Analysis via Formal Components Assembly under PAR Framework”, National Natural Science Foundation of China (No. 61662035), 2017-2020. 2. “Model-driven Automated Generation for Highly-reliable Graph Algorithm Components”, National Natural Science Foundation of China (No.61363013), 2014-2017. |
Personal profile: |