项目和研究成果
面向基础命令工具集的系统建模，中国科学院软件研究所基础研究项目 2023.12-2024.11
Research on security issues of regexes 2024.1-2027.12
Multi-model synthesis of anti-ReDoS regular expressions (regexes). Funded by Beijing Natural Science Foundation 2023.1-2025.12
正则表达式拒绝服务漏洞的检测与修复，中国科学院网络评测技术重点实验室开放课题基金2022.3-2024.3
Research on theoretical issues and applications for regular expressions with counting and interleaving. Funded by NSFC 2019.1-2022.12
Research on theorectical issues and tools for deterministic regular expressions and their subclasses. Funded by NSFC 2015.1-2018.12
Unranked tree-structured data and semantically defined type systems. Funded by NSFC 2011.1-2013.12
Formal methods for software. Funded by NSFC 2005.1–2010.12
Development of supercompilation methods for a typed functional language. Funded by NSFC 2008.1-2009.12
Models and validation issues of grammar-based systems. Funded by NSFC 2006.1-2008.12
Extended study of recursive functions of context free languages. Funded by NSFC 2003.1-2005.12
Evaluation algorithms and optimization techniques for many-sorted recursive function. Funded by NSFC 2002.1-2004.12
Specification testing techniques, Funded by Inst of Software (2001.10-2003.9), and CAS (2001.8-2004.7)
Research on software design methodology. Funded by CAS 2001.8-2004.7
Study of recursive functions of context free languages. Funded by NSFC 1999.1-2001.12
国家自然科学基金青年项目，正反例相结合的正则表达式极限识认算法，61502184，2016/01-2018/12，已结题，参加。
国家自然科学基金青年项目，61100062，无穷字母表上的形式模型：逻辑与自动机，2012/01-2014/12，已结题，参加。
中国科学院软件研究所重大重点项目，ISCAS2012-01，开源操作系统分析及安全性评估的方法与工具研究，2011/11-2014/10，已结题，主持。
中国科学院软件研究所重大重点项目，网络环境的信息与算法，2009/12-2011/12，已结题，参加。
国家自然科学基金创新研究群体项目，60421001，软件形式化方法，2005/01-2007/12，已结题，参加。
计算机科学实验室青年科学基金，LFC语言实现的改进研究，1999.6-2000.6，负责人，完成。
国家863高技术计划，863-306-05-04-1，形式规约知识的获取与复用-SAQ计划后续研究，1996/06-1998/06，已结题，课题第二负责人。
国家九五攻关计划，基于MLIRF方法的软件原型速成技术研究，1996/2-1997/12，已结题，参加。
国家自然科学基金面上项目，69673018，MLIRF方法的改进和完善研究，1997/1-1999/12，已结题，参加。
国家九五科技攻关计划，98-780-01-07-02，基于MLIRF方法的软件原型速成技术的后续研究，1998.7-2000.10，主要参加者，工程负责人，完成。
国家863高技术计划，形式规约知识的复用研究，1994/01-1995/12，已结题，参加。
国家自然科学基金，69383001，形式规约的获取研究，1994.1-1995.12，已结题，参加。
国家自然科学基金，68630247，可再用软件设计方法，1987.1-1989.1，已结题，参加。
国家自然科学基金，69073337，软件复用的智能化方法研究，1991.1-1992.12，已结题，参加。
- 扩展正则表达式的安全性问题研究，国家自然科学基金面上项目 2024.1-2027.12
- 抗ReDoS攻击多模态正则表达式合成方法研究，北京市自然科学基金面上项目 2023.1-2025.12
- 支持计数与无序的扩展表达式的理论问题与应用研究，国家自然科学基金面上项目 2019.1-2022.12
- 确定性表达式及其子类的理论问题与工具研究，国家自然科学基金面上项目 2015.1-2018.12
- 无秩树结构数据和语义多态类型系统的研究，国家自然科学基金 2011.1-2013.12
- 软件形式化方法，国家自然科学基金委创新研究群体科学基金，参加 2005.1–2010.12
- 一种函数式类型语言的SUPERCOMPILATION方法研究，国家自然科学基金合作研究项目NSFC-RFBR(中俄) 2008.1-2009.12
- 基于文法的系统的模型和检验问题研究，国家自然科学基金 2006.1-2008.12
- 上下文无关语言的递归函数理论的后续研究，国家自然科学基金，参加 2003.1-2005.12
- 多种类递归函数的求值算法和优化技术研究，国家自然科学基金 2002.1-2004.12 被评为优
- 形式规约的测试技术研究，软件所基础研究课题基金 (2001.10-2003.9), 中国科学院知识创新工程项目 (子课题负责人, 2001.8-2004.7)
- 软件设计方法研究，中国科学院高技术研究与发展重点项目 2001.8-2004.7
- 上下文无关语言上的递归函数研究，国家自然科学基金，参加 1999.1-2001.12