地图     English
蒋颖

出自计算机科学国家重点实验室

首页 > 人才队伍 > 科研人员 > 蒋颖
跳转到: 导航, 搜索
职称: 研究员 Jy.jpg
研究方向: λ-演算与形式语义
电话: 010-62661626
E-Mail: jy(at)ios.ac.cn

研究员、博士生导师。法国巴黎第7大学硕士(1989)、博士(1993),中科院软件所和巴黎7大博士后。主要从事λ演算、域论、类型论、证明论和树自动机理论的研究及其在程序设计语义学、自动推理、程序正确性验证等方面的应用。曾在国内外期刊和会议上如Information&Computation、C.R.Acad. Sci.、Archive for Mathematical Logic、Theoretical Computer Science、Science in China (A)、Logic Colloquium、TLCA等发表文章和报告。作为负责人承担过3项国家自然科学基金和中法合作科研项目(中方负责)。任符号逻辑协会东亚逻辑委员会委员和《数学进展》编辑。



版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号