学术论文网

  • 当前位置:主页 > 理工论文 > 计算机论文 > 正文>上海交通大学孙永强教授荣获中国计算机联合会“终身成就奖”

    上海交通大学孙永强教授荣获中国计算机联合会“终身成就奖”

    发布日期:2021-02-03 14:14 计算机论文

    (记者程媛媛)中国计算机联合会(CCF)于2021年1月31日举行颁奖仪式,授予上海交通大学孙永强教授2020年“CCF终身成就奖”。

    孙永强教授是我国著名的计算机科学家和教育家,1931年出生于浙江省嘉善市。1955年毕业于上海交通大学电力系。曾任清华大学讲师,上海交通大学副教授、教授。曾任国务院学位委员会第二学科评估组委员。从事计算机科学研究50余年,涉及编译原理、函数程序代数理论、软件自动验证、重写技术等多个软件技术分支。在国内外重要期刊和会议上发表论文100余篇,培养计算机软件和理论博士30余名,获得国家自然科学奖等多项奖励。

    早在20世纪60年代,孙永强教授就带领团队实现了国内第一批高级编程语言编译器,为国内自主设计的中型通用电子管计算机系统的成功开发奠定了基础。经过优化和改进的编译器随后被安装在中国的DJS-5计算机上,并被十多个国内单位采用。为了推广高级编程语言的编译技术,孙永强和陈火旺教授共同撰写了《程序设计语言编译原理》一书,获得国家优秀教材一等奖。

    改革开放后,孙永强教授对函数语言的代数性质进行了开创性的研究,提出了程序代数求解理论,在程序转换和程序正确性验证方面取得了突破,被列为国家自然科学基金资助的重大科技成果。孙永强教授还获得了1987年国家自然科学奖。孙永强教授还设计并实现了一个基于函数语言的VLSI自动综合设计系统,可以根据功能描述自动生成脉动阵列的逻辑线,获得国家教委科技进步奖。

    孙永强教授在一线教学岗位辛勤工作50余年,是上海交通大学计算机系第一位博士生导师。他实事求是的严谨态度,脚踏实地的务实作风,为学生树立了良好的榜样。他培养的学生现在大多成为各单位的教学科研骨干,包括两所院校的院士和国外的院士,以及国内外著名大学的10多位正教授。他们秉承着孙永强教授“为人师表,备受尊敬”的作风,把自己的才华奉献给祖国,把人才交付给社会。

    孙永强教授是上海交通大学计算机科学与技术的创始人。他为上海交通大学的计算机学科建设付出了很多心血。作为曾经的学术带头人,他从学科发展规划、高层次人才引进、课程体系建设、学生培养,无所不在,努力实践。正是以孙永强教授为代表的老一辈计算机工作者的不懈努力,才使交大的计算机学科从一个从事船舶专用计算机教学与研究的教学研究群体,迅速成长为一个世界知名的系,成为一个世界级的系。

    中国计算机联合会终身成就奖授予在计算机科学、技术和工程领域取得重大突破、做出突出成绩和重大贡献的中国高级计算机科学技术工作者。该奖项设立于2010年。


    网友转发请注明出处转载请保留链接:上海交通大学孙永强教授荣获中国计算机联合会“终身成就奖”本文链接http://www.yule868.com/a/jisuanjilunwen/27139.html,谢谢合作!868学术论文网


    上一篇:微软正在努力开发自己的量子计算系统   下一篇:上海计算机软件技术开发中心招聘工作人员公告


    论主学术论文网 学术论文网专业指导写论文的要点和技巧,指导如何写论文,本科毕业论文,写作大学毕业论文,专为工程类,医学类,教育类,经理类,管理类,会计类,艺术类等原创毕业论文如何写,值得信赖值得靠谱的毕业论文写作网站.
  • 文章总数
  • 3574726访问次数
  • 建站天数
  • XML地图 XML_1地图 备案蜀ICP备16030853号