硕士生导师 蒋建民 简介
【个人简介】
蒋建民，男，博士，二级教授。CCF理论计算机科学、系统软件专委会委员。四川省创新领军人才，四川省特聘专家。2023年、2024年入选全球2%顶尖科学家榜单。主要从事软件开发方法、形式化方法研究。主持国家重点研发项目课题、国家自然科学基金等项目。以第一作者在国际权威刊物ACM TOSEM（软件工程顶级期刊）、Information and Computation（理论计算机科学顶级刊物）、ACM TECS（嵌入式系统顶级期刊）、ACM TMIS、ACM TCPS和国内中国科学—信息科学（英文版）等学术期刊发表论文40余篇。
蒋教授对形式化模型进行了系统、深入的研究，经过近三十年的努力，发明了依赖结构（Denpendency Structure）和统一结构（Unified Structure）形式化模型，其目的是建立起普通工程师都能掌握的精确的软件开发方法。目前在软件全自动生成理论研究与工程应用方面已经取得了极大进展。欢迎有志于从事软件工程研究、软件项目开发的同学加入团队，为软件工程的进步、发展而努力！！！
【研究方向】
1.软件工程理论与方法
2.软件工程技术
3.领域软件工程与工业软件
【在研项目】
1．MOM低代码软件开发平台与工具研发，国家重点研发课题，负责人
【完成项目】
1.基于事件的形式化模型的表达能力与工程方法研究， 国家自然基金面上项目，项目负责人，2022年结题。
2．多机器人运动安全裕度的自动化验证，CCF-华为胡杨林基金，2022年结题。
3. 基于事件的形式化模型的理论与应用研究，福建省自然基金面上项目，项目负责人，2021年结题。
4.多租户云应用软件的形式化建模与自动配置，福建省自然基金面上项目，项目负责人，2017结题。
5.装配式软件的理论与应用研究， 福建省科技厅青年人才项目，项目负责人，2008年结题。
【发表论文】
1．Hao Wen, Jinzhao Wu, Jianmin Jiang(蒋建民，通信作者), Guofu Tang, Zhong Hong. A Formal Approach for Consistency Management in UML Models. International Journal of Software Engineering and Knowledge Engineering, 33(05), 733-763, 2023.
2．Cong Chen, Zhong Hong, Jian-Min Jiang(蒋建民). Scheduling in real-time mobile systems. ACM Transactions on Embedded Computing Systems，2022, 21(3): 1-36 (CCF B类）
3．Zhong Hong; Jian-Min Jiang; Hongping Shu; Analyzing Isolation in Mobile Systems, Information Technology and Control, 2021, 50(4): 769-785.
4．Jian-Min Jiang(蒋建民), Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong. Event-based functional decomposition, Information and Computation, 2020, 271:104484. (CCF A类)
5.Jian-Min Jiang(蒋建民), Huibiao Zhu，Qin Li，Yongxin Zhao，Lin Zhao，Shi Zhang，Ping Gong. Isolation modeling and analysis based on mobility, ACM Transactions on Software Engineering and Methodology, 2019, 28(2): 1-31 (CCF A类)
6.Jian-Min Jiang(蒋建民), Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong. Analyzing Event-Based Scheduling in Concurrent Reactive Systems， ACM Transactions on Embedded Computing Systems，2015，14(4):1-27 (CCF B类)
7. Huifeng Chen, Jian-min Jiang (蒋建民,通信作者), Zhong Hong. Decomposition of UML activity diagrams. Software：Practice and Experience. 2018,48(1):105-122 (CCF B类)
8. Jian-Min Jiang(蒋建民), Zhang Shi，Gong Ping，Hong Zhong. Modeling and analyzing mixed communications in service-oriented trustworthy software，Science China- Information Sciences，2012,55（12）：2738-2756 (CCF A类)
9. Jian-Min Jiang(蒋建民), Zhong Hong, Yangyang Chen. Modeling and analyzing incremental natures of developing software. ACM Transactions on Management Information Systems (TMIS), 2019, 10(2): 1-32
10.Jian-Min Jiang(蒋建民), Huibiao Zhu，Qin Li，Yongxin Zhao，Lin Zhao，Shi Zhang，Ping Gong，Zhong Hong，Donghuo Chen，Event-based mobility modeling and analysis, ACM Transactions on Cyber-Physical Systems，2017, 1(2): 1-32 (CCF C类)
11.Yangyang Chen, Cong Chen, Hao Wen, Jianmin Jiang(蒋建民), Zeng Qiong, Hongping Shu, Zhong Hong. From Use Case to Use Case Slices: An Automated Approach. International Journal of Information System Modeling and Design, 2019, 10(4): 24-50
12.Xiaofei Yu, Jian-Min Jiang (蒋建民) and Zhong Hong. Decomposition and composition of sequence diagrams, Proceedings of the 11th Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '18), pp. 76-83, 2018 (CCF C类)
【联系方式】
电子邮件：jjm@cuit.edu.cn
ＱＱ号码：3430568081
