基本信息
浏览量:138
职业迁徙
个人简介
2001年应聘“百人计划”到实验室工作。主要从事形式化方法及并发系统的形式验证方法与技术方面的研究。在程序验证方面,曾参与针对XYZ语言的时序逻辑推理系统和时序逻辑程序验证方法的研究;在命题逻辑方面,提出了一个分析命题逻辑公式模型个数的算法和是否存在模型的判定算法,推进了命题逻辑公式判定算法的研究;在谓词逻辑推理方面,对引理的使用做了深入的研究,取得了系统性的理论结果;在模型检测方面,将模型检测方法应用于操作程序的验证,提出多种针对具体应用做抽象和分不同情况以降低模型检测空间和时间复杂性的方法;在软件系统设计方法的形式化方面,参与了针对UML系统建模语言部分内容的形式化的研究,并将其应用于分布式系统的设计。
研究兴趣
论文共 102 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
International Conference on Software Quality, Reliability and Securitypp.310-319, (2023)
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)pp.1024-1035, (2021)
Proceedings of the Sixteenth European Conference on Computer Systems (2021)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn