1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
蒋颖 女 博导 中国科学院软件研究所
电子邮件： jy@ios.ac.cn
通信地址： 中国科学院软件研究所
邮政编码： 100190
研究领域
招生信息

招生专业081202


招生方向程序理论与验证技术

教育背景

学历

学位
工作经历

工作简历

社会兼职
教授课程
专利与奖励

奖励信息

专利成果
出版信息

发表论文（1） On the expressive power of schemes, Information and Computation, 2011, 第 2 作者
（2） Enumerating proofs of positive formulae, The Computer Journal, 2009, 第 2 作者
（3） Eigenvariables, bracketing and the decidability of positive minimal predicate logic, Theoretical Computer Science, 2006, 第 2 作者
（4） On an Open Problem of Amadio and Curien: the Finite Antichain Condition, Information and Computation, 2005, 第 2 作者
（5） Isomorphismes between the coherent models of the lambda-calculus, Science in China （A）, 1996, 第 1 作者
（6） Consystency and axiomatization of a natural extensional combinatory logic, Science in China （A）, 1996, 第 1 作者
（7） Universal retraction on DI-domaines, Information and Computation, 1995, 第 2 作者
（8） Consistency of a lambda-theory with n-tuples and easy term, Archive for Mathematical Logic, 1995, 第 1 作者


发表著作
科研活动

科研项目（ 1 ）基于逻辑的新型计算模型, 主持, 国家级, 2012-01--2015-12


参与会议（1）Model Checking : A Co-algebraic Approach Jianhua Gao and Ying Jiang 2011-08-29
（2）Tree process calculs M.Chai, N.Qu, Y.Jiang 2008-06-03
（3） Weakly Distributive Domains Y. Jiang，G.-Q. Zhang 2007-06-26

合作情况

项目协作单位
指导学生