信息领域的铸梦者——记华东师范大学计算机科学与软件工程学院院长何积丰

信息领域的铸梦者——记华东师范大学计算机科学与软件工程学院院长何积丰信息技术是影响当今乃至未来的重要科技。何积丰作为这个领域的佼佼者，培养了数千名高层次软件人才，开创了可信软件研究新领域，成就了祖国计算机科学快步发展的梦想。受命建院 创新模式1965年，何积丰来到华东师范大学工作，成为上海高校第一批从事计算机科学教学和研究的人员。20世纪80年代，他被学校先后派往美国斯坦福大学、英国牛津大学进修学习。2001年，他响应党和国家号召，受命组建国家首批示范性软件学院之一的华东师范大学软件学院。着眼于国内软件行业与发达国家之间的差距，学科发展、社会需求与高校教学之间的差距，以及上海市乃至全国对软件行业专门人才的巨大需求，何积丰率先提出了软件人才的协同创新培养模式，先后与国内外高校及中国电科集团第32所、Intel等企事业单位成立了多个合作研究实验室，并与微软等名企合作共建了10余门课程，努力以多元协作的方式，汇聚各行优秀资源，全面培养软件行业人才的综合创新能力。为提升学院的国际竞争力，何积丰始终关注软件工程学科国际新发展，提出并制定了一系列举措：鼓励教师积极吸纳国际上软件工程人才培养的先进理念和课程的合理化成分，使教学内容与学科发展保持同步；并全面推进双语和全英文课程建设，改革外语教学，聘请外籍教师，强化学生的外语学习。目前，学院已为社会培养软件工程高层次专业人才3000余名（含博士100余名、硕士600余名），华东师范大学计算机科学与软件工程学院也已成为我国高校计算机软件工程领域名副其实的“领军团队”。攻关科研 潜心治学何积丰潜心计算机软件理论及应用研究，数十年如一日。他与英国计算机科学家、图灵奖获得者托尼·霍尔一起创造性地提出了软件领域的程序统一理论（UTP），并由此开创了程序统一理论的国际学派；他建立了数据精化的完备理论，并被国际上誉为“面向模型软件开发的一个里程碑”；他系统性地构建了基于模型的可信软件设计方法与开发技术,并被称赞为在软件工程的科学理论与工业实践方面“做了奠基性的工作”。英国科学技术委员会在1998年度报告中赞誉“在过去十五年，何积丰是牛津大学程序研究领域取得成功的驱动力”。何积丰关注国家与社会的发展需求，并积极有效地推动产学研融合。自2007年起，他担任国家自然科学基金委“可信软件基础研究”重大研究计划的首席科学家，为可信软件技术在国内的普及与应用作出了杰出贡献。他在国内首倡与推动的新兴交叉学科信息物理融合系统的研究，奠定了可信体系架构的基础。结合工业的实际需求，他解决了可信嵌入式系统构造与验证技术的若干关键问题，促进了相关理论及技术在我国安全攸关行业领域的应用。他领衔的团队与企业开展产学研合作，研发的数字互动教室系统推动了学生教材形式与教学方法的重大革新，并成功参展上海世博会。他率领团队参与建设国家软件人才国际培训基地（上海），为上海市和长三角的嵌入式软件及信息化建设作出了卓越贡献。恪守德行 言传身教作为一名党员教师，何积丰始终以党员教师的标准严格要求自己，对学生和青年教师如同己出、谆谆教导。何积丰始终坚守在教学和科研的第一线，以科学的态度从事教学，用科学研究服务并反哺教学。在带领团队攀登科学高峰的过程中，他以自己的行动践行并诠释着自己的教学信念。他为全校本科生开设了第一门由院士主讲的通识教育课程——计算机文化。在每一次课上，教室里总是座无虚席，还时常挤满了其他专业前来旁听的学生。他梳理了自己多年的科研成果，为研究生开设了《程序统一理论》课程,成为最受学生欢迎的课程之一。所谓“授人以鱼不如授人以渔”，在对研究生进行学术指点、论文指导的过程中，他一直注重最新学术思想的传授和科学思考方式的引导。除了学业之外，何积丰高度注重青年教师与青年学子道德品性的塑造。在日常的工作和生活中，他教导青年教师和学生恪守学术道德，鼓励他们“树魂立根”，树立高尚的人生理想和服务国家与社会的价值追求。他关注青年教师的成长成才，每当有青年教师入职，他都会与教师们沟通交流、一起制定发展规划，并利用讨论班、教学研讨、项目讨论等形式对青年教师的教学、科