当前位置: X-MOL首页全球导师 国内导师 › 张文辉

个人简介

招生专业 081202-计算机软件与理论 招生方向 并发系统分析与验证 学历 1978:北京大学数学系 1979:挪威奥斯陆大学语言培训班 1980-1988:挪威奥斯陆大学计算机系 工作经历 2001年中国科学院软件研究所研究员。主要从事逻辑方法与程序正确性方法研究。 专利与奖励 获2008年首届中国科学院“朱李月华优秀教师奖”。

研究领域

逻辑方法;程序正确性方法;

近期论文

查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

(1) Bounded Semantics,Theoretical Computer Science,2015,第1作者 (2) A Direct Construction of Polynomial-size OBDD Proof of Pigeon Hole Problem,Information Processing Letters,2009,第2作者 (3) A polynomial dynamic system approach to software design for attractivity requirement,Information Sciences,2007,第2作者 (4) Depth of proofs, depth of cut-formulas and complexity of cut formulas,Theoretical Computer Science,1996,第1作者 (5) Cut elimination and automatic proof procedures,Theoretical Computer Science,1991,第1作者

推荐链接
down
wechat
bug