基本信息
浏览量:4
职业迁徙
个人简介
参与国家自然科学基金重点项目、面上项目、国际合作项目3项,国家科技支撑计划项目1项;作为实际执行人及协调者(软件开发团队负责人)参与完成国家863计划重点项目(2006AA04A124)及科技部国家科技支撑计划重大项目(2006BAH02A16)各1项;主持重庆市自然科学基金面上项目1项,横向项目2项,发表SCI/EI论文20余篇,获重庆市科学技术成果2项。多次受邀成为International Journal of Production Research、International Journal of Advanced Manufacturing Technology、《软件学报》、FITEE(中国工程院院刊)、SETTA等期刊/会议审稿人。历任四届(2016~2019年)CCF形式化专委的两大旗舰培训班之一——可信软件工程国际春季学校(SETSS)组织委员会主席(Local Chair);担任形式化专委年会(FMAC 2018)、亚洲高级软件工程会议(AWASE 2017)等学术会议的组织委员会主席(Local Chair);获中国计算机学会颁发CCF YOCSEF 2017-2018年度优秀分论坛(重庆分论坛)学术秘书;澳大利亚迪肯大学访学期间,获“杰出教师奖(Excellent Teacher Award)”。
研究兴趣
论文共 49 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
International Symposium on Software Engineering: Theories, Tools, and Applicationspp.152-170, (2023)
International Workshop on Formal Aspects of Component Softwarepp.168-193, (2023)
arXiv (Cornell University) (2018)
引用0浏览0EI引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn