基本信息
张文辉 男 博导 软件研究所
电子邮件: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-计算机软件与理论