胡振江教授在学校升旗仪式上

　　探索是科学的灵魂，传承是科学的薪火。只有将薪火传递下去，科学才能实现可持续性发展，对当代中国的程序语言而言，教育和研究才是传承的核心，唯有如此，才能让中国在该领域与世界平视，甚至超越。在这样的背景下，胡振江来了。

　　胡振江是谁?他，现在是北京大学计算机学院院长，讲席教授。2019年回国前，他是日本东京大学和日本国立信息学研究所的终身教授，日本工程院外籍院士，曾担任日本综合性大学院大学信息学系主任，亦是函数式程序设计领域的国际著名学者，欧洲科学院外籍院士。但作为中国人，他更希望带领中国的函数式程序设计语言走向世界。

　　所以，从2006年起作为基金委的海外合作项目研究者和长江客座教授，他与北京大学信息科学技术学院软件研究所和高可信软件技术教育部重点实验室在科研项目和研究生培养等方面开展了深度合作，运用多方携手的方式，促进中国程序设计语言的发展。

　　履历背后的故事

　　众所周知，函数式语言是将函数作为一阶实体的语言，具有强大的描述和推理功能、适合并行处理等良好的性质。作为函数式程序设计领域的领军人，胡振江教授为该领域的发展做出了突出贡献。

　　胡振江的创新工作主要集中在三个方面。一是，首次将程序演算技术应用于函数式程序的自动优化，实现了算法级别的函数式程序深度优化，相关成果被GHC、pH等主流编译器采用;二是，进一步将程序演算技术应用于函数式程序的并行化，回答了程序并行化的充要条件、推导算法等一系列基本问题，提出了全自动的程序并行化技术，相关成果曾被Sun公司选入高性能计算语言Fortress的并行标准库;三是，将函数式语言和程序变换技术用于处理数据同步问题，开辟了双向变换这一全新的研究领域。

　　胡振江教授是世界双向变换语言领域的公认领袖之一，不仅将函数式语言和程序变换技术用于处理数据/软件制品的同步问题，发起双向变换的国际研讨会并一直引领双向变换的研究，还设计实现了国际上第一个描述双向图变换的通用函数式语言UnQL+、和第一个能够自由而完备地描述各种双向变换的语言BiGUL。值得关注的是，双向变换领域现已形成了一系列专业会议、暑期学校、咨询委员会等，吸引了大量来自程序语言、软件工程、数据库、图变换等不同领域的研究人员。

　　没有高瞻远瞩，就没有科学的可持续发展。在胡振江看来，教育是科学探索中必不可少的环节，没有它，科学的发展遇到强大的阻力，“站在巨人的肩膀上，才能看的更远。”科学尤其如此。这也是他与北京大学进行合作的初衷。

　　须知，程序设计语言(包括函数式程序设计语言)的发展极大地影响一个国家的计算机水平，而计算机水平的高低，直接影响了一个国家科技化的高度和深度。北京大学与胡振江教授开展的长期合作，不仅可以培养人才，探索国际一流的程序语言研究，还能提高我国在程序语言领域的国际竞争力。

　　胡振江教授作为教师代表在北大毕业典礼上发言

　　为了科学去探索

　　在与北京大学合作之初，胡振江就有了自己的教育与科研计划。他知道，计划的落实必然会面临各种各样的挑战，但胡振江从来都是一个勇于攀登高峰的人，他相信，在科研的世界里，只要善于分析、敢于坚持、勇于探索，那么，办法就会比困难多。

　　l创新研究：高可信软件是软件所的重要研究方向之一，也是支撑高可信软件技术教育部重点实验室的主要研究方向。胡振江在这里有了全新的研究方向，即在深化程序语言设计和双向变换技术的基础研究的同时，将程序语言技术和软件工程方法有机结合起来，通过定义具有足够表达能力的新型模型语言，建立软件开发全过程的模型双向变换，实现具有自调节功能的软件自动维护和演化的机制，从而给出软件可信性确保的关键理论和技术途径，从而，在国际学术界形成影响。这是胡振江的奋斗目标，亦是他的科研野望。

　　l人才培养：没有人才，就没有科学，对于这一点，胡振江深有体会。现在的中国，正处于飞速发展的阶段，对程序语言人才的需求十分迫切，所以，胡振江通过在北京大学开设与程序语言设计及程序设计方法学相关的先端性基础课程，对研究生进行程序推导、程序优化、程序变换以及软件自动生成方面的研究指导，使高可信软件技术教育部重点实验室在包括程序语言的设计和实现等的软件基础理论方面有一个突破性发展，加强软件所目前比较薄弱的软件理论基础方向，为培养世界一流的人才做贡献。

　　l团队和学科建设：针对国家和工业界关注的重大课题，以科研项目为支撑，培养和支持高水平人才是胡振江促进中国程序语言发展的蓝图之一。为了让梦想走进现实， 他建立了一个以程序语言研究为基础，以软件工程研究为应用，以高可信软件的设计自动化研究为目标的北大程序设计语言实验室。他相信：任何科研，都不是一个人的战斗，只有团队的力量，才能将科研进行到底。

　　这就是胡振江，一位国际知名的程序语言科学家，获得了业内的高度赞赏与评价，但身在国外的他，十分关注祖国程序语言的发展，或许，正是这样的责任感，让他毫不犹豫地回到祖国，与北京大学携手前行。

　　未来的他，将继续在程序语言领域拼搏奋斗，为中国在该领域的发展，发光发热，贡献力量。

　　胡振江教授作为“湘南会议系列”指导委员会主席与部分参会者合影