蒋建民教授

2020-03-03  

硕士生导师 蒋建民  简介

   (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月,第三作者。

【发表论文】代表作

  1. 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类)

  2. 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/3306606 (CCF A类)

  3. Analyzing Event-Based Scheduling in Concurrent Reactive SystemsJian-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类)

  4. 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类)

  5. Modeling and analyzing mixed communications in service-oriented trustworthy softwareJian-Min Jiang, Zhang Shi,Gong Ping,Hong Zhong,Yue HouGuang, Science China-Information Sciences,2012.12.01,55(12):2738-2756 (CCF B类)

  6. 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.

  7. Event-based mobility modeling and analysisJian-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

办公电话:

手机号码:

QQ号码:3430568081

 














 

上一条:舒红平教授 下一条:安俊秀教授

关闭

Baidu
sogou