基本信息
张文辉 男 博导 软件研究所
电子邮件：zwh@ios.ac.cn
通信地址：北京8718信箱
邮政编码：100190
电子邮件：zwh@ios.ac.cn
通信地址：北京8718信箱
邮政编码：100190
研究领域
逻辑方法；程序正确性方法；
招生信息
招生专业
081202-计算机软件与理论
招生方向
并发系统分析与验证
教育背景
学历
1978：北京大学数学系
1979：挪威奥斯陆大学语言培训班
1980-1988：挪威奥斯陆大学计算机系
1979：挪威奥斯陆大学语言培训班
1980-1988：挪威奥斯陆大学计算机系
学位
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作者
（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作者
指导学生
已指导学生
易锦 博士研究生 081202-计算机软件与理论
黄洪涛 博士研究生 081202-计算机软件与理论
吴志林 博士研究生 081202-计算机软件与理论
王绍春 硕士研究生 081202-计算机软件与理论
徐艳艳 博士研究生 081202-计算机软件与理论
周翔 博士研究生 081202-计算机软件与理论
杜金秀 硕士研究生 081202-计算机软件与理论
徐亮 博士研究生 081202-计算机软件与理论
陈伟 博士研究生 081202-计算机软件与理论
李伟松 硕士研究生 081202-计算机软件与理论
王晓亮 硕士研究生 081202-计算机软件与理论
冯庆奎 硕士研究生 081202-计算机软件与理论
龙腾 博士研究生 081202-计算机软件与理论
张兰兰 硕士研究生 081202-计算机软件与理论
曾奶举 博士研究生 081202-计算机软件与理论
现指导学生
许兆伟 博士研究生 081202-计算机软件与理论
麻婧 硕士研究生 081202-计算机软件与理论
陈然 博士研究生 081202-计算机软件与理论