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

研究领域

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

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
并发系统分析与验证

教育背景

   
学历
1978:北京大学数学系
1979:挪威奥斯陆大学语言培训班
1980-1988:挪威奥斯陆大学计算机系
学位
1988:博士学位
出国学习工作
   

工作经历

获2000年中国科学院百人计划支持。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-计算机软件与理论