个人简介

付春雷 博士，中国计算机学会（CCF）会员。主持主研国家重点研发计划、国家自然科学基金、重庆市技术创新与应用示范项目、重庆市博士后基金特别资助、中央高校基金及横向项目10余项。在Automated Software Engineering, IET Software等国内外学术期刊上发表学术论文10余篇，担任多个国际SCI期刊审稿人。重庆市人工智能技术创新战略联盟研究骨干。 部分科研项目 1. 国家重点研发计划：川渝特大城市群服务集成与治理关键技术研究与应用示范（2018YFB2101200），子课题负责人。 2. 重庆市技术创新与应用示范项目：城市政务大数据服务集成与共享协同关键技术研究及示范（cstc2018jszx-cyztzxX0037），主研。 3. 重庆市自然科学基金重点项目：面向智能家居系统集成的关键非功能需求形式化建模与验证（cstc2017jcyjBX0075），主研。 4. 重庆市自然科学基金重点项目：云计算环境下基于语义技术的软件需求工程关键技术研究（CSTC,2011BA2022），主研。 5. 重庆市博士后基金特别资助：基于OWL 2 DL的软件需求模型语义不一致性自动检测研究（xm2015072），主持。