名师简介
高建华，男，1963.3生，计算机系教授，博士 参加学术团体、任职： 中国计算机学位容错专业测试学组成员、上海市学位委员会计算机科学与技术学科评议组委员、上海市微型电脑协会理事、IEEE The Eighth Asian Test Symposium(ATS'99，ATS'03) 程序委员、2002年全国测试学术会议程序委员、3rd Workshop on RTL ATPG & DFT(WRTLT'02) 程序委员、上海师范大学专业技术职务聘任委员会委员、上海师范大学学报（自然科学版）编委 主讲课程： 研究生：程序设计方法学、软件可靠性与安全性、高级计算机系统结构、UNIX操纵系统开发环境与工具等 本科生：计算机组成原理、编译原理、人工智能、软件工程、微机与接口等 研究方向: 软件可靠性理论与设计、软件开发环境与开发技术、数据安全与计算机安全、网络测试、LSI/VLSI测试等领域。 主要科研成果： 近5年来，已在国内外学术刊物发表论文近30篇，编辑出版5部教学用书，比较系统地研究了软件可靠性设计理论与方法。1998年11月至1999年11月在日本NTT中部株式会社和名古屋银行进行合作研究和开发。完成近30项企事业单位委托的应用性研究课题。 目前正在进行的科研项目有： 国家教育部《高等学校骨干教师资助计划》项目："软件容错的智能控制方法研究"、上海市曙光计划项目："应用软件的可靠性设计和实现策略"，以及企事业单位委托的多项应用型科研项目。 [1]论文：“以高覆盖率检测ROM的新方法”,1989年国际容错(JFTC'89)优秀论文奖 1990年中国计算机学会优秀论文奖 [2]科研项目：“智能化数字系统测试算法研究”,1993年上海科技大学科技成果二等奖 [3]论文：“电话局营业事务的自动处理系统”,1991年第五届上海市微型电脑应用学术会议优秀论文奖 [4]1991年度获校优秀青年教师称号 [5]1994年度获校第四届青年教师讲课竞赛三等奖 [6]1995年度获校第五届青年教师讲课竞赛鼓励奖 [7]课程建设：“计算机硬件课程实验建设”,1995年东华大学优秀教学成果三等奖 [8]科研项目：“容错计算及可靠性设计”,1989年上海科技大学科技成果二等奖 [9]1997年度获上海市高校优秀青年教师称号 [10]1997年获校第六届青年教师讲课竞赛一等奖 [11]论文：“联机事务处理环境下应用软件的容错设计方法”,1997年《计算机应用研究》杂志“优秀论文” [12]课程建设：“计算机通信专业的建立与人才培养”,1996 年东华大学优秀教学成果奖二等奖 [13]《英汉计算机技术大词典》获全国第十一届中国图书奖 [14]《精选英汉计算机词典（修订本）》,被中国书刊协会评为第十一批全国优秀畅销书（科技类） [15]《青少年活动大全(电脑分册硬件篇)》上海市优秀图书一等奖 1997年华东地区优秀图书一等奖 1998年 全国科技图书三等奖 1998年 第四届全国科普作品二等奖 2001年 [16] 2001年获上海师范大学教学竞赛三等奖 [17] 2001年获上海市第七届曙光学者称号 上海市桂林路100号 上海师范大学数理信息学院 联系方式 64322671 E-mail jhgao@shnu.edu.cn Gao Jianhua Mathematical & Science College Shanghai Normal University 100 Guilin Rd. Shanghai 200234 P.R.China 联系方式 64322671 E-mail jhgao@shnu.edu.cn