上海交大孙永强教授获中国计算机学会“终身成就奖”
2021年1月31日,中国计算机学会(CCF)举行颁奖典礼,授予上海交通大学电子信息与电气工程学院计算机系孙永强教授2020年“CCF终身成就奖”,以表彰他在计算机语言及其编译等方面作出的卓越贡献。中国科学院院士、深圳大学教授陈国良同获此殊荣。
孙永强教授是我国著名的计算机科◤学家和教∴育家。1931年出生于浙江嘉善市,1955年毕业于上海交通大学电力系,历任清华大学讲师,上海交通大学副教授、教授。曾担任国务院学位委员会■第二届学科评议组√成员。作为我国第一代计算机软件科研工作者,孙永强教授长期从事计算机科学研究,涉及编译原理、函数程ㄨ序代数理论、软件自动验证、重写技术等多个软件技术分支,在国内外重要刊物和会议发表论文百余篇,培养计算机软件与理论方向博士30余名,曾获国家自然科学奖等多项奖励。
早在二十世纪60年代,孙永强教授■就带领团队实现了我国第一批高级程序设计语言编译器,为我国独立设计的中型通用电子管计算机系统的研制成功奠定了基础,经过优化和改进的编译器随后在〗我国DJS-5型计算机上安装,被国内十余家单位采用。为了推广高级程序设计语言编译技术,他和陈火旺教授等一起撰写了《程序设计语言编译原理》一书,获得了国家级优秀教材一等@奖。
改革开】放后,孙永强教授对函数式语言的代数性质进行了开创性研究,提出了程序代数求解理论,在程序转换和程序正确性验证上取得了突破,被列为国家自然科学基金资助的重大科技成果,并于1987年获得了国家自然科学奖。孙永强教授还设计并实现了基于函数式语︾言的超大规模集成电路自动综合和设计系统,该系统能根据功能描述自动生成脉动式阵列的逻辑线路图,成果于1993年获得了国家教委科技进步奖。
孙永强□教授在一线教学岗位上兢兢业业◤辛勤耕耘了50余年,是上海交通大学计算机系的第一位博士生导师。他治学上实事求是的严谨态度,脚踏实地的务实作风给学生树立了很好的榜█样。他培养的学生如今大多成为各个单位的教学和科研骨干,既有成为两院院士和外籍院士的,也有10余位被聘为国内外著名高校的正教授,他们正秉承孙永强教授“身正为师,德高为范”的风范,为祖国奉ㄨ献才智,为社会输送人才。
孙永强教授是上海交通大学计算机科学与技术学科的奠基者。他在上海交大计算机学科的建设中倾注了←大量心血,作为曾经的学科带头人,从学科发〇展规划、高层次人才引进,到课程体系建设、学生培』养等,他→事必躬亲,身体力行,正是孙永强教授为代表的老一辈计算机工作者的坚持不懈的努力,交大的计算机学科才随着改革开放,从一个从事舰船专用计算机教学和研究的教研组,迅速▓成长成为世界知名院系,并迈向世界一流。
中国计算机学会“终身成就奖”于2010年设立,授予在计算机科学、技术和工程领域取得重大突破,成就卓著、贡献巨大的资深中国计算机科技工作者。
网络信息中心 电子信息与电气工程学院 网络信息中心 电子信息与电气工程学院未经允许不得转载:二九年华大学门户 » 上海交大孙永强教授获中国计算机学会“终身成就奖”
相关推荐
- 上海交通大学举办首届科技人文国㊣际学术研讨会暨《上海交通大学学报》(哲学社会科学版)创刊四十周年高端论坛
- 上海交通大学召开2019年体检工作会议
- 上海交大与内蒙古自治区签署科技合作协议
- 上海交通大学“小米奖助学金”捐赠签约仪@ 式举行
- 上海交通大学四川选调生校友座谈会举行
- 上海交大海洋水下工程技术发展论坛举办
- 高等学校国家重大科技基础设施运行机制与考核评价研讨会举行
- 上海交大召开“不忘初心、牢记使命”主题教育总◆结大会
- 上海交通大学获科技部财政部大型科研仪器开放共享评价考核优秀
- 2020年上海交通大学“欢度国庆”校园马拉松健身长跑暨新生杯系列赛事开幕式举行
- 上海交通大学中国城市治理研究院成功召开“城市治理:从跨学科到∑现代化”研讨会
- 助力上海科技期刊品牌建设,交大办刊工作获上海市大力支持和高度认可
- 王伟明副校长赴重庆市走访调研选调生工作
- 上海交大党委高度重视马克思主义学院发展和思想政治理论课建设
- “华为杯”第二届中国大学生VRAR开发大赛总决赛在上海交大举行
- 交大出版社22个项目入选上海市重点图书出版计划
- 徐光宪、高小霞院士伉俪纪念活动在上海交大举行
- 上海交通大学与东方证券共建人〓工智能与大数据联合实验室
- 学指委召开执委单位全体会议
- 机关党委召开党支部书记主题教育集中培训会
新闻公告
- 上海交大孙永强教授获中国计算机学会“终身成就奖” 01-31
- 上海交通大学“张良起奖学金”捐赠仪式获广泛关注 01-30
- 上海交通大学体育文化史编撰研讨会举行 01-30
- 涵养人才发展“蓄水池”,汇聚科技兴邦“源动力” 01-28
- 落实“育人为本战略”须确立的三大理念 01-28
- 关于“交叉创新”的几点想法 01-28
- 让开放融合成ω 为高校发展的新常态 01-28
高考招生
- 上海交通大学2016年』本科招生章程↙ 08-05
- 上海交通大学2017年本科招生章程 08-05
- 上海交通大学2018年本科招生章程 08-05
- 上海交通大学本科2015年招生章程 08-05
- 上海交通大学2016年本科招生章程 08-05
- 上海交通大学2012本科招生章程 08-05
- 上海交通大学2013招生章程 08-05
- 上海交通大学2009年普通高等学校本科生招生章程 08-05
- 上海交通大学2011年本科生招生章程 08-05
- 上海交通大学2008年本科生招生章程 08-05