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

职称:	研究员
研究方向：	λ-演算与形式语义
电话:	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项国家自然科学基金和中法合作科研项目（中方负责）。任符号逻辑协会东亚逻辑委员会委员和《数学进展》编辑。