Map     中文
Ying JIANG

From State Key Laboratory of Computer Science

Main Page > People > Staff > Ying JIANG
Jump to: navigation, search
Professional Title: Research Professor Jy.jpg
Research Topics: λ-演算与形式语义
Tel: 010-62661626
E-Mail: jy(at)ios.ac.cn

Researcher、博士生导师。法国巴黎第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项国家自然科学基金和中法合作科研项目(中方负责)。任符号逻辑协会东亚逻辑委员会委员和《数学进展》编辑。



Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki