基本信息
张文辉 男 博导 软件研究所
电子邮件：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-计算机软件与理论
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
中国科学院大学研究生导师教师师资介绍简介-张文辉
本站小编 Free考研考试/2020-04-27
相关话题/中国科学院大学 师资
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19中国科学院大学研究生导师教师师资介绍简介-张文涛
基本信息张文涛女博导中国科学院信息工程研究所电子邮件：zhangwentao@iie.ac.cn通信地址：北京市海淀区益园文创基地C2楼，中科院信息工程所邮政编码：100093研究领域密码学教育背景学历学位出国学习工作工作经历工作简历社会兼职教授课程专利与奖励奖励信息专利成果出版信息发表论文发表著作科研活动科研项目参与会议合作情况项目协作单位指导学生 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-张文生
基本信息张文生男博导中国科学院自动化研究所电子邮件：wensheng.zhang@ia.ac.cn通信地址：海淀区中关村东路95号邮政编码：100190部门/实验室：精密感知与控制中心研究领域人工智能、机器学习、大数据知识挖掘、概率图模型表示与推理、DeepLearning、精密感知与智能控制、三维数字物理仿真、嵌入式视频图像处理招生信息接收免试推荐硕士研究生（包括直博生），同时也接收优秀硕士毕业 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-张文生
基本信息张文生男博导中国科学院数学与系统科学研究院电子邮件：zws@lsec.cc.ac.cn通信地址：中关村东路55号邮政编码：100190研究领域招生信息招生专业070102-计算数学070104-应用数学070801-固体地球物理学招生方向微分方程数值解反问题并行计算教育背景1994-09--1997-06现吉林大学（原长春科技大学）博士学历学位工作经历工作简历1999-07~现在,中国科学 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-张文忠
基本信息张文忠男博导中国科学院地理科学与资源研究所电子邮件：zhangwz@igsnrr.ac.cn通信地址：大屯路甲11号邮政编码：100101部门/实验室：经济地理与区域发展研究室研究领域主要从事经济区位理论、城市和区域发展研究。教育背景学历学位1995年在东北师范大学获得理学博士出国学习工作工作经历工作简历1993年1997年在日本一桥大学、驹泽大学学习和研究。现 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-张文喜
基本信息张文喜男博导中国科学院光电研究院电子邮件：zhangwenxi@aoe.ac.cn通信地址：北京市海淀区邓庄南路9号光电院1106室邮政编码：100094部门/实验室：光电工程部计算光学室研究领域三维精密测量、激光干涉测量、全息测量、振动测量和计算光学成像等招生信息招收光学工程、光电学、激光技术、电子技术等专业硕士、博士研究生，提供充足研究经费和助学津贴。招生专业080300-光学工程招生 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-张现平
基本信息张现平男博导中国科学院电工研究所电子邮件：zxp@mail.iee.ac.cn通信地址：北京市海淀区中关村北二条六号邮政编码：100190研究领域超导材料纳米材料强磁场材料处理招生信息招生专业0808Z2-能源与电工的新材料及器件招生方向超导材料、磁性材料等能源电工材料教育背景2004-09--2007-07中国科学院研究生院工学博士学历博士学位工学博士出国学习工作2007.11---20 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-张先恩
基本信息张先恩男博导中国科学院生物物理研究所电子邮件：zhangxe@ibp.ac.cn通信地址：北京市朝阳区大屯路15号邮政编码：100101研究领域微生物学，分析病原微生物学招生信息招生专业071010-生物化学与分子生物学071005-微生物学招生方向利用生物大分子识别功能和自组装原理，构建纳米生物传感体系生物化学与分子生物学教育背景1991-09--1994-07中国科学院微生物研究所理学 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-张香平
基本信息张香平中国科学院过程工程研究所研究员，博士生导师。Tel:+86-(O),+86-**E-mail:xpzhang@ipe.ac.cn;xpzhang69@hotmail.com研究领域绿色过程系统集成及绿色度分析、化工热力学及过程模拟优化、离子液体等新型介质/材料设计、气体分离与净化?等清洁工艺技术开发教育背景学历1999/04-2002/04大连理工大学，化学工程系博士1991/09- ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-张宪洲
基本信息张宪洲男博导中国科学院地理科学与资源研究所电子邮件：zhangxz@igsnrr.ac.cn通信地址：朝阳区大屯路甲11号邮政编码：100101部门/实验室：高原生态系统研究中心研究领域生态系统与全球变化：通过野外地面观测、遥感等技术手段，结合生态学模型，研究高寒生态系统对全球变化的响应机制，高寒生态系统退化机制及恢复技术与模式。主要研究区域为青藏高原地区。招生信息招生专业071300-生 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-张晓
基本信息张晓男博导中国科学院数学与系统科学研究院电子邮件：xzhang@amss.ac.cn通信地址：北京中关村东路55号邮政编码：100190研究领域微分几何、数学物理招生信息招生专业070101-基础数学招生方向微分几何、数学物理教育背景学历--研究生学位--博士工作经历工作简历社会兼职教授课程专利与奖励奖励信息专利成果出版信息发表论文发表著作科研活动科研项目参与会议合作情况项目协作单位指导学 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27
