基本信息
浏览量:175
职业迁徙
个人简介
博士阶段重点研究软件理论与形式化技术,在该领域深耕多年。共在高水平国际期刊与会议上发表学术论文38篇,其中近5年发表论文23篇(SCI期刊8篇、EI会议15篇;CCF A类10篇、B类1篇、C类8篇)。根据CCF发布的推荐国际学术会议和期刊目录,本人发表的论文中包括TSE(IEEE Transactions on Software Engineering)、TIE(IEEE Transactions on Industrial Engineering)、TEC(IEEE Transactions on Evolutionary Computation)、TC(IEEE Transactions on Computers)、AI(Artificial Intelligence)、JAR(Journal of Automated Reasoning)等软件工程、人工智能、计算机理论等顶级期刊,以及CAV、ASE、ICSE、ISSTA等形式化方法、软件工程领域顶级会议。发表的论文中包含多篇高影响因子论文,例如:IEEE Transactions on Industrial Electronics(IF>8.2)、IEEE Transactions on Evolutionary Computation(IF>11.5)等。
代表性学术贡献和学术成果影响力方面。2010年,本人在CAV会议发表的论文“On Array Theory of Bounded Elements”是该会议举办以来,大陆学者首次发表的长文,属于突破性成果。CAV是形式化领域的顶级会议(CCF A类),行业认可度很高。该论文提出了一种新的数组理论域,能够对程序分析验证中的路径条件判定问题提供理论支撑。2013年发表的论文“Component-based Modeling and Code Synthesis for Cyclic Programs”获得COMPSAC 2013国际学术会议最佳论文,该论文提出了一种针对周期执行程序的模型驱动开发方式,给出了全生命周期中建模、分析、验证、代码生成等技术方案。2016年的论文“Automatic Fix for C Integer Errors by Precision Improvement”首次提出了一种基于精度提升程序缺陷自动修复方法,并获得了COMPSAC2016的最佳论文。2017年,面向航空发动机控制程序,提出了一种针对单调速率调度程序的验证方法,并首次在代码实现层面对单调速率调度算法的代码实现进行了验证,相关论文发表于TIE。针对自动定理证明的核心技术——可满足性模理论(SMT),本人对其并行化求解问题开展了深入研究,并形成了原型工具,2018年在Artificial Intelligence上发表了论文“Parallelizing SMT solving: Lazy decomposition and conciliation”。关于整数缺陷修复的两个研究工作,分别于2018、2019年发表在了Transactions on Computers和Transactions on Dependable and Secure Computing上,是早期缺陷自动修复领域的重要研究工作。
科研项目方面,积极参与国家重大科研项目。主持了博士后基金(优秀10万,项目负责人)、国家自然科学基金青年基金(26万,项目负责人)、北京市科委项目(98万,子课题负责人)、科技部重点研发项目(64万,子课题负责人)。本人主持了多项企事业单位委托课题,委托单位覆盖了:中国科学院信息工程研究所、中国航发控制系统研究所、中央国债登记结算有限责任公司、中车青岛四方车辆研究所有限公司,等等。近5年主持项目经费超过1400万元。此外,还作为项目骨干积极参与了多项国家级科研项目,包括:某973项目(专题负责人)、科技部重点研发项目(骨干)、自然科学基金重大项目(骨干)等等。
代表性学术贡献和学术成果影响力方面。2010年,本人在CAV会议发表的论文“On Array Theory of Bounded Elements”是该会议举办以来,大陆学者首次发表的长文,属于突破性成果。CAV是形式化领域的顶级会议(CCF A类),行业认可度很高。该论文提出了一种新的数组理论域,能够对程序分析验证中的路径条件判定问题提供理论支撑。2013年发表的论文“Component-based Modeling and Code Synthesis for Cyclic Programs”获得COMPSAC 2013国际学术会议最佳论文,该论文提出了一种针对周期执行程序的模型驱动开发方式,给出了全生命周期中建模、分析、验证、代码生成等技术方案。2016年的论文“Automatic Fix for C Integer Errors by Precision Improvement”首次提出了一种基于精度提升程序缺陷自动修复方法,并获得了COMPSAC2016的最佳论文。2017年,面向航空发动机控制程序,提出了一种针对单调速率调度程序的验证方法,并首次在代码实现层面对单调速率调度算法的代码实现进行了验证,相关论文发表于TIE。针对自动定理证明的核心技术——可满足性模理论(SMT),本人对其并行化求解问题开展了深入研究,并形成了原型工具,2018年在Artificial Intelligence上发表了论文“Parallelizing SMT solving: Lazy decomposition and conciliation”。关于整数缺陷修复的两个研究工作,分别于2018、2019年发表在了Transactions on Computers和Transactions on Dependable and Secure Computing上,是早期缺陷自动修复领域的重要研究工作。
科研项目方面,积极参与国家重大科研项目。主持了博士后基金(优秀10万,项目负责人)、国家自然科学基金青年基金(26万,项目负责人)、北京市科委项目(98万,子课题负责人)、科技部重点研发项目(64万,子课题负责人)。本人主持了多项企事业单位委托课题,委托单位覆盖了:中国科学院信息工程研究所、中国航发控制系统研究所、中央国债登记结算有限责任公司、中车青岛四方车辆研究所有限公司,等等。近5年主持项目经费超过1400万元。此外,还作为项目骨干积极参与了多项国家级科研项目,包括:某973项目(专题负责人)、科技部重点研发项目(骨干)、自然科学基金重大项目(骨干)等等。
研究兴趣
论文共 84 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering (2024)
Chaos (Woodbury, N.Y.)no. 5 (2023)
IEEE Transactions on Network and Service Managementno. 4 (2022): 4918-4931
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn