张文辉 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 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作者