成员

胡启敏.jpg   

Name

胡启敏

Professional Title

Associate Professor       

Research Fields

Formal Method, software Engineering

E-mail

qiminhu@163.com

Short BioI received BSc degree in information management from Jiangxi University of Finance and Economics in 2000. Then, in 2003, I was awarded MSc in Computer Science from Jiangxi Normal University in 2003. I received doctoral diploma from Institute of Software,Chinese Academy of Science in 2009
Publications

1.Research on Formal Development of Non-recursive Algorithms of Graph Search,5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL, 2015, 2015.11.10

2.Formal Development of Linear Structure Reusable Components in PAR Platform,6th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL, 2016, 2016.11.15

3.Research on the Formal Derivation and Generation Technique of Several Algorithmic Programs, Journal of Computer Research and Development, 2008.4

4.Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach, Journal of Digital Information Management, 2007.3

5.Comparison of Formal Method: DesignwareB, Computer Engineering and Applications, 2007.10

6.Lightweight J2EE architecture based on spring framework and its application, Computer Engineering and Applications, 2008.3

7.Solving General Path Problems with component composition, Computer Science, 2006.8


Projects

I presided the following research projects:

1. Research of correctness of algorithmic program model transformation in PAR platform (The National Natural Science Foundation of China)

2. Component Refinement and assembly technology research base on PAR(The natural science foundation of Jiangxi Province)

 

I joined the following research projects:

1. Several new technologies application in PAR platforms(The National Natural Science Foundation of major international cooperative research project)

2.New high-reliability software development platform and related theory(International Science and technology cooperation project of Ministry of science and technology)

3.Some common key technologies of information system applications based on PAR platform(General Program of The National Natural Science Foundation of China)

4.Generic programming and key technology research program based on PAR platform(General Program of The National Natural Science Foundation of China)

5.Software automation guidance by formal methods(The preliminary research projects of the Major State Basic Research Development Program of China (973 Program))

6.PAR-based algorithm design methodology and automation research(General Program of The National Natural Science Foundation of China)

Personal profile