胡振江教授上任北京大学计算机学院首任院长

1月10日，北京大学计算机学院在理科2号楼召开教师大会，北京大学党委常委、副校长张平文院士，党委组织部副部长刘雨龙以及计算机学院部分教职工参加大会。刘雨龙宣读了《关于成立中共北京大学计算机学院委员会的通知》，宣布了胡振江、熊校良和魏朋同志的任职决定，并对相关选拔任命工作进行了说明。

计算机学院院长胡振江、党委书记熊校良、副书记魏朋依次进行任职发言，张平文副校长最后做了总结讲话。

胡振江进行任职发言。他谈到，计算机学院是加快推进北大“新工科”建设的“特区”，将继续致力于构建国际一流的文化和氛围，创造能够吸引全球顶级学生求学、顶级学者入职的环境，建设处于世界一流前列的计算机学科。他从三个方面阐述计算机学院的发展蓝图：在教学方面，将持续提高本科核心课程的质量，加强高水平的研究生教育；在科研方面，将践行“基础研究为撇，国家需求为捺”的“八”字工作方针，鼓励开展自由、多样、有影响力的研究，鼓励基本工具的开发；在行政方面，将加快各项制度的制定与落地，全方位服务学院各项工作，推动学院高效运转。

胡振江教授简介：

胡振江，北京大学讲席教授。分别于1988年和1991年在上海交通大学计算机科学与工程系获得学士和硕士学位，1996年在日本东京大学信息工学专业获博士学位。曾担任东京大学情报理工学研究科助理教授和副教授 (1997-2008)，日本国立信息学研究所教授/系主任 (2008-2019), 东京大学情报理工学研究科教授 (2018-2019), 是海外杰出青年科学基金获得者。

胡振江教授长期从事程序设计语言和软件科学与工程的研究，在程序语言设计、结构化函数式程序设计、程序的自动综合和优化、并行程序设计、双向变换语言的设计和实现、以及软件的演化和维护等方面做出了很多开创性工作并取得了突出的研究成果，曾获全日本最佳博士论文奖，日本软件科学会基础研究成就奖，被评为21世纪先驱科学家(日本科学技术振兴机构)，日本工学会会士(2016)，ACM杰出科学家(2016)，欧洲科学院院士(2019)，IEEE会士(2020)，日本工程院院士(2020)。

近年来，胡振江教授将研究重点放在程序演算及其在自动并行化的应用、双向变换的语言设计、模型驱动的软件开发，以及软件求精过程的形式化上，取得了一系列突破，在POPL, PLDI, ICFP等程序语言的顶级国际会议以及ICSE，FSE等软件工程的顶级国际会议上发表众多成果。

胡振江教授担任(或曾经担任)美国计算机协会ACM函数程序设计国际会议(ICFP)指导委员会委员主席，日本软件科学会理事，国际信息处理联盟IFIP TC 2 (Software: Theory and Practice) 日本分会代表，IFIP WG 2.1委员，亚洲软件基础学会(AAFS)指导委员会主席，NII湘南国际系列研讨会学术委员会主席，以及IEEE Transactions on Software Engineering, Science of Computer Programming，国家科学评论，中国科学等学术杂志的编委。