个人简介

姜久雷，男，汉族，1972年9月生，山东嘉祥人,博士、教授、硕士生导师，高级程序员，九三社员。 2006年6月获西北大学计算机软件与理论专业硕士学位，2014年12月获东华大学信息管理与信息系统专业博士学位。目前，主要从事软件工程方面教学工作，致力于形式化方法、社交网络分析与智能推荐领域科学研究。先后主持国家自然基金项目2项；主持完成省级自然基金项目1项和厅级高校项目2项；在国内外重要期刊及会议上发表科研论文30余篇，其中SCI/EI收录10余篇。 主要承担的教学课程 计算机程序设计、软件工程、数据结构与算法 主要科研项目 主持： 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位。