基本信息
浏览量:19
职业迁徙
个人简介
研究员、博士生导师。法国巴黎第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项国家自然科学基金和中法合作科研项目(中方负责)。任符号逻辑协会东亚逻辑委员会委员和《数学进展》编辑。
目前主要研究方向及简介:
λ演算、类型论、证明论和程序设计语义学
博士后 Logique et fondement de l’Informatique (逻辑与计算机科学基础),法国巴黎第七大学数学系―法国国家科研中心753实验室, 1996―1997
Computational Logic, Martoberorf International Summer School, NATO Science Committee & Institut f?rInformatik, Technisch Universitat M?nchen, 1997
博士后 计算机科学与技术,中国科学院软件研究所,1994―1996
λ演算、类型论、证明论和程序设计语义学
博士后 Logique et fondement de l’Informatique (逻辑与计算机科学基础),法国巴黎第七大学数学系―法国国家科研中心753实验室, 1996―1997
Computational Logic, Martoberorf International Summer School, NATO Science Committee & Institut f?rInformatik, Technisch Universitat M?nchen, 1997
博士后 计算机科学与技术,中国科学院软件研究所,1994―1996
研究兴趣
论文共 30 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE) (2017): 133-140
PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE) (2017): 141-147
CoRR (2016)
引用0浏览0EI引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn