基本信息

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