Projects

扩展正则表达式的安全性问题研究,国家自然科学基金面上项目 2024.01- 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

        To be listed ...