成员

胡启敏.jpg   

Name：

胡启敏

Professional Title：

Associate Professor       

Research Fields：

Formal Method, software Engineering

E-mail：

qiminhu@163.com

Short Bio：I 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: Designware、B, 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：

        胡启敏（手机13979103118,邮箱qiminhu@163.com），男，副教授，江西师范大学计算机信息工程学院硕士生导师，现任国家网络化支撑软件国际科技合作基地（含：江西省高性能计算重点实验室、江西省高校软件科技中心，基地网址：https://nss.jxnu.edu.cn）办公室主任、党支部副书记、人事助理。

        主持完成国家自然科学基金项目1项，作为骨干成员参与国家自然科学基金国际重大合作项目1项、国家自然基金面上项目4项、科技部国际合作专项1项。曾赴美国康奈尔大学、美国德克萨斯州立大学奥斯汀分校、英国莱斯特大学、日本法政大学等国际著名大学访问交流。

        胡老师所在科研团队将开展人工智能算法、可信软件、算法优化及典型应用研究，重点解决人工智能算法优化、提升算法效率、保证可靠性等问题，达到高可信、高效率开发智能软件的目的。围绕国合基地主任薛锦云教授开创的PAR方法和PAR平台、人工智能、机器学习、形式化方法、算法优化等研究领域的前沿技术，开展人工智能算法优化、算法的正确性验证以及相关应用等方面的研究。

        研究生选题可以相对自由，可以得到国合基地强大师资力量的指导，比如：基地主任薛锦云教授、John Hopcroft教授、David Gries教授、Jayadev Misra教授等的指导。

        国合基地建立了省内一流的人工智能实验室、虚拟现实实验室，配置有完善的科研设施，部署有高性能计算并行机、人工智能专用计算服务器等，可以保障研究顺利开展。欢迎大家来江西师范大学国家网络化支撑软件国际科技合作基地现场咨询了解！