基本信息
张文辉 男 博导 软件研究所
电子邮件：zwh@ios.ac.cn
通信地址：北京8718信箱
邮政编码：100190

研究领域逻辑方法；程序正确性方法；

招生信息
招生专业081202-计算机软件与理论

招生方向 并发系统分析与验证



教育背景
学历1978：北京大学数学系
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作者

发表著作

科研活动
科研项目
参与会议

合作情况
项目协作单位

指导学生已指导学生
易锦博士研究生081202-计算机软件与理论
黄洪涛博士研究生081202-计算机软件与理论
吴志林博士研究生081202-计算机软件与理论
王绍春硕士研究生081202-计算机软件与理论
徐艳艳博士研究生081202-计算机软件与理论
周翔博士研究生081202-计算机软件与理论
杜金秀硕士研究生081202-计算机软件与理论
徐亮博士研究生081202-计算机软件与理论
陈伟博士研究生081202-计算机软件与理论
李伟松硕士研究生081202-计算机软件与理论
王晓亮硕士研究生081202-计算机软件与理论
冯庆奎硕士研究生081202-计算机软件与理论
龙腾博士研究生081202-计算机软件与理论
张兰兰硕士研究生081202-计算机软件与理论
曾奶举博士研究生081202-计算机软件与理论
现指导学生
许兆伟博士研究生081202-计算机软件与理论
麻婧硕士研究生081202-计算机软件与理论
陈然博士研究生081202-计算机软件与理论