硕士生导师 蒋建民 简介
（2021年3月更新）




【个人简介】
蒋建民，男，教授，生于1972年，九三社员，研究生学历，博士学位。2006年在中国科学院成都计算机应用研究所学习，获计算机软件与理论专业博士学位。
蒋教授对形式化模型进行了系统、深入的研究，经过近二十年的努力，取得了一系列成果。一方面，开发了具有原创性的、能与Petri网媲美的形式化模型——依赖结构（Dependency structure），该模型比现有的模型在通信、移动性、调度等方面有更强的描述能力；另一方面，提出了具有原创性的、能用于复杂系统调度问题的理论——细粒度调度理论（Fine-grained scheduling theory），该理论可以应用于自动驾驶汽车的调度问题。目前主持国家自然基金面向上项目、福建省自然基金面上项目，并以第一作者在国际权威刊物ACM TOSEM（软件工程顶级期刊）、Information and Computation （理论计算机科学顶级刊物）、ACM TECS（嵌入式系统顶级刊）、ACM TMIS、ACM TCPS和国内中国科学—信息科学（英文版）等学术期刊发表/录用论文30余篇。
欢迎有志于从事软件工程研究、软件项目开发的同学加入团队，为软件工程的进步、发展而努力！！！
【研究方向】
1．软件自动生成
2．形式化方法
2．软件开发方法
【在研项目】
1．基于事件的形式化模型的表达能力与工程方法研究， 国家自然基金面上项目，项目负责人。
2．基于事件的形式化模型的理论与应用研究，福建省自然基金面上项目，项目负责人。
【完成项目】
1．多租户云应用软件的形式化建模与自动配置，福建省自然基金面上项目，项目负责人，2017年12月完成。
2．装配式软件的理论与应用研究， 福建省科技厅青年人才项目，项目负责人，2008年12月完成。
3．多租户云应用软件的理论与应用研究，（4） 上海市高可信计算重点实验室开放课题，2016年12月完成。
【学术专著】
1．进程代数——对称与动作细化，科学出版社，2007年6月，第三作者。
【发表论文】代表作
Event-based functional decomposition, Jian-Min Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Information and Computation, 2019, 104484, https://doi.org/10.1016/j.ic.2019.104484. (CCF A类)
Isolation modeling and analysis based on mobility, Jian-Min Jiang, Huibiao Zhu，Qin Li，Yongxin Zhao，Lin Zhao，Shi Zhang，Ping Gong. ACM Transactions on Software Engineering and Methodology, 28, 2, Article 10 (February 2019), 31 pages. https://doi.org/10.1145/** (CCF A类)
Analyzing Event-Based Scheduling in Concurrent Reactive Systems，Jian-Min Jiang, Zhu, Huibiao，Li, Qin，Zhao, Yongxin，Zhao, Lin，Zhang, Shi，Gong, Ping，Hong, Zhong， ACM Transactions on Embedded Computing Systems ，2015，14(4):1-27(CCF B类)
Decomposition of UML activity diagrams. Huifeng Chen, Jian-min Jiang (通信作者),Zhong Hong,Ling Lin. Software：Practice and Experience. 48(1):105-122 (2018) (CCF B类)
Modeling and analyzing mixed communications in service-oriented trustworthy software，Jian-Min Jiang, Zhang Shi，Gong Ping，Hong Zhong，Yue HouGuang， Science China-Information Sciences，2012.12.01，55（12）：2738-2756 (CCF B类)
Modeling and analyzing incremental natures of developing software. Jian-Min Jiang, Zhong Hong, Yangyang Chen. ACM Transactions on Management Information Systems (TMIS), 2019, 10(2): 5.
Event-based mobility modeling and analysis，Jian-Min Jiang, Huibiao Zhu，Qin Li，Yongxin Zhao，Lin Zao，Shi Zhang，Ping Gong，Zhong Hong，Donghuo Chen， ACM Transactions on Cyber-Physical Systems，2017，1（2）：1-32
【联系方式】
电子邮件：jjm@cuit.edu.cn
办公电话：
手机号码：
ＱＱ号码：