个人简历
姜久雷，男，汉族，1972年9月生，山东济宁人,博士、教授、硕士生导师，高级程序员，九三社员。 2006年6月获西北大学计算机软件与理论专业硕士学位，2014年12月获东华大学信息管理与信息系统专业博士学位。目前，主要从事软件工程方面教学工作，致力于形式化方法、社交网络分析与智能推荐领域科学研究。先后主持国家自然科学基金项目2项；主持完成省级自然科学基金项目1项和厅级高校项目2项；在IEEE Transactions on Emerging Topics in Computing、中国科学等期刊公开发表论文40余篇。
研究方向
形式化建模方法、社交网络分析和智能推荐
主要承担的教学课程
计算机程序设计、软件工程、数据结构与算法
代表性学术成果
论文及专利：
1. Jiu-Lei Jiang; Hui Fang; Sheng-Qing Li; Wei-Min Li; Identifying important nodes for temporal networks based on the ASAM model, Physica A: Statistical Mechanics and its Applications, 2021, 586.
2. Jiang, Jiulei; Wang, Hanxu; Li, Weimin; A Trust model based on a time decay factor for use in social networks, Computers & Electrical Engineering, 2020, 85：0-106706.
3. Xiaofeng Wang，Jiulei Jiang(*)，Warning Propagation Algorithm for the MAX-3-SAT Problem，IEEE Transactions on Emerging Topics in Computing,2019,7(4): 578-584.
4.王晓峰，许道云，姜久雷(*)，唐延辉，调查传播算法收敛的一个充分条件，中国科学:信息科学,2017,47,(12) :1646-1661.
5.聂朋展，姜久雷(*)，马占有，模糊计算树逻辑的符号模型检测, 计算机应用研究, 2021, 38(8).
6. Jiang Jiulei，Zhang Jiao(*)，Bao Wenxing，Choreography modelling based on Π-calculus，Computer Modelling and New Technologies，2014.12.01，18（12）：187~194
7. Jiang Jiulei，Le Jiajin，He Feng，Wang Yan，Sun Jie，Formalizing Cloud Service Interactions，Journal of Convergence Information Technology，2012.01.01，7（13）：189~196
8. Jiang, Jiulei(*)，Le, Jiajin，Wang, Jiangjing，He, Feng，Bao, Wenxing，Modeling and implementation of flexible business process，Journal of Convergence Information Technology，2012.01.01，7（22）：236~244
9. Jiang Jiulei，Le Jiajin,，He Feng，Wang Yan，Using Π-Calculus for Formalizing Service Interactions，International Journal of Digital Content Technology and its Applications，2012.01.01,6（7）：190~197
主要科研项目
主持：
1. 国家自然科学基金地区项目，61762002，基于用户偏好的可信社交服务推荐技术研究、2018/01-2021/12。
2. 国家自然科学基金应急管理项目，61650206、基于编排的跨组织业务流程形式化建模与验证、2017/01-2017/12。
3. 宁夏自然科学基金项目，NZ12212，基于游客位置的移动信息服务关键技术研究、2012/07-2014/12。
参与：
1. 国家自然科学基金地区项目，61962001 基于决策过程的广义可能性时序逻辑的符号模型检测方法研究 2020.01--2023.12，排名第2位。
2. 国家自然科学基金地区项目，61162013、银川平原湿地遥感动态监测研究、2012/01-2015/12，排名第3位。
3. 国家自然科学基金地区项目，71061001、语义业务流程模型验证关键技术研究、2011/01-2013/12，排名第2位。
4. 国家科技支撑计划项目课题，2007BAD33B03、清真畜产品规范生产与质量认证系统研发与应用，排名第6位。
社会兼职
江苏省软件专业委员会委员，中国计算机学会会员。
联系方式
Email：jljiang@cslg.edu.cn
