logo

项目和研究成果

  • 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,已结题,参加。
  • 已结题项目 国家自然科学基金青年项目,正反例相结合的正则表达式极限识认算法,61502184,2016/01-2018/12,参加,已结题,参加。 国家自然科学基金青年项目,61100062,无穷字母表上的形式模型:逻辑与自动机,2012/01-2014/12,21 万元,已结题,参加。 中国科学院软件研究所重大重点项目,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,已结题,参加。

    Last updated: 2021-09-24丨Copyright © DEPSO丨京ICP备 2021018805号-1