中国科学院信息技术科学部院士简介（12）

接《中国科学院信息技术科学部院士简介（11）》（以姓氏拼音为序）。

杨学军院士（2011年当选）

杨学军，男，汉族，1963年4月出生于山东武城，1983年毕业于原中国人民解放军南京通信工程学院。1984年加入中国共产党；1991年从国防科学技术大学博士毕业后留校任教。中国科学院院士、计算机领域专家，上将军衔。 现任中共第二十届中央委员 ，中国人民解放军军事科学院院长。

杨学军于1979年9月入伍。1983年7月，毕业于解放军通信工程学院（现中国人民解放军理工大学通信工程学院）计算机系计算机科学与技术专业本科。1984年12月，加入中国共产党。1985年，在国防科学技术大学获硕士学位。1991年3月，毕业于国防科学技术大学计算机系计算机科学与技术专业，获得工学博士学位。毕业后留校任教，历任国防科学技术大学计算机系教授、副总工程师、总工程师，国防科学技术大学计算机学院副院长、院长。1994年，任银河-Ⅲ研制工程总设计师。1998年获得国家杰出青年科学基金资助。 2004年，被授予少将军衔。2007年，担任国防科学技术大学教育长。2009年，担任国防科学技术大学副校长。2011年7月，担任国防科学技术大学校长。12月，当选中国科学院院士。 2013年8月，杨学军被授予中将军衔。2019年12月，被授予上将军衔。

杨学军长期从事高性能计算机体系结构与系统软件研究，尤其是代表国家战略计算水平的大规模并行计算机系统的研究工作 。在异构融合并行体系结构、可扩展共享存储体系结构、大规模网络互连体系结构、超64位精度浮点计算、高性能并行计算机的可搬移体系结构等五个方面做了系统性的研究。他作为总设计师主持研制了以“天河”一号为代表的六个国家重大高性能计算机系统。

姚建铨院士（1997年当选）

姚建铨，1939年1月29日出生于上海，籍贯江苏省无锡，激光与非线性光学专家，中国科学院院士，天津大学教授，激光与光电子研究所所长，天津大学精密仪器与光电子工程学院名誉院长 。

1965年姚建铨从天津大学硕士研究生毕业并留校任教，历任讲师、副教授、教授和博士生导师；1980年作为国家公派的访问学者，前往美国斯坦福大学、加利福尼亚大学进修及研究激光技术；1997年当选为中国科学院院士；1998年任天津大学精密仪器学院名誉院长；2013年受聘中国矿业大学物联网（感知矿山）研究中心主任 。

姚建铨主要从事激光与非线性光学频率变换技术研究，发展了高功率倍频激光的理论，发明的双轴晶体最佳相位匹配的精确计算理论，被国际学术界称为“姚技术”、“姚方法”并广泛应用。他提出非线性双轴晶体最佳相位匹配精确计算的理论及方法，得到国际学术界的确认。提出了激光谐振腔“类高斯分布理论”。发展了高转换效率下倍频理论及准连续泵浦倍频新方法。实现了输出功率34W的内腔倍频YAG激光器，并以此为光源，完成了激光三维扫描系统。首次采用准连续运转的绿光光源泵浦染料及钛宝石可调谐激光器。从而从理论到器件技术建立了一个新的“准连续泵浦激光调谐系统”的技术体系。

姚期智院士（2004年当选）

姚期智，1946年12月24日出生于中国上海，计算机科学专家，2000年图灵奖获得者，美国国家科学院外籍院士、美国艺术与科学院外籍院士、中国科学院院士、台湾中央研究院院士、香港科学院创院院士，清华大学交叉信息研究院院长，清华大学高等研究中心教授，香港中文大学博文讲座教授，清华大学-麻省理工学院-香港中文大学理论计算机科学研究中心主任。

姚期智1967年获得台湾大学物理学士学位；1972年获得哈佛大学物理博士学位；1975年获得伊利诺伊大学计算机科学博士学位，之后先后在美国麻省理工学院数学系、斯坦福大学计算机系、加州大学伯克利分校计算机系任助理教授、教授；1998年当选为美国国家科学院院士；2000年获得图灵奖，是唯一获得该奖的华人学者（截至2020年）；2004年起在清华大学任全职教授，同年当选为中国科学院外籍院士；2005年出任香港中文大学博文讲座教授；2011年担任清华大学交叉信息研究院院长；2015年当选为香港科学院创院院士；2016年放弃美国国籍成为中国公民，正式转为中国科学院院士；2021年获颁日本京都奖 。

姚期智的研究方向包括计算理论及其在密码学和量子计算中的应用，最先提出量子通信复杂性，提出分布式量子计算模式，后来成为分布式量子算法和量子通讯协议安全性的基础。在三大方面具有突出贡献：（1）创建理论计算机科学的重要次领域：通讯复杂性和伪随机数生成计算理论；（2）奠定现代密码学基础，在基于复杂性的密码学和安全形式化方法方面有根本性贡献；（3）解决线路复杂性、计算几何、数据结构及量子计算等领域的开放性问题并建立全新典范。

尹浩院士（2013年当选）

尹浩，男，汉族，1959年8月27日出生于江苏省南京市，原籍山东省日照市，中国科学院院士，通信网络领域专家，工学博士，中国人民解放军军事科学院系统工程研究院系统总体所所长。

1982年，尹浩毕业于南京邮电学院并留校任教；1987年，硕士毕业于南京邮电学院；1999年，博士毕业于北京理工大学；2013年，当选中国科学院院士。

尹浩长期从事通信网络技术研究，在复杂环境通信网络理论方法研究、体系结构设计和技术应用等方面取得了多项创新性成果。 他作为总设计师研发的中国人民解放军新一代某型通信系统装备的总体设计与工程实施使中国成为世界上第二个具备独立研发该型号装备的国家。尹浩提出了中国人民解放军的通信网络信息传送技术体制，创新提出网络“适变元”概念，构建了基于“适变元”的通信网络体系结构模型，支撑了中国人民解放军第三代通信网络建设。

于登云院士（2021年当选）

于登云，1961年11月出生于湖南绥宁，原名于定高 ，汉族，中共党员，空间飞行器系统工程、动力学与控制专家，中国科学院院士，国际宇航科学院院士，中国探月工程（四期）总设计师，中国航天科技集团有限公司科学技术委员会副主任。

于登云1981年—1985年就读于华中工学院（现华中科技大学）；1988年获得哈尔滨工业大学航天学院固体力学专业硕士学位，同年任职于中国空间技术研究院501部；1995年晋升为中国空间技术研究院研究员；2000年3月任中国空间技术研究院501部神舟飞船指挥；2001年起历任中国空间技术研究院院长助理、副院长、总工程师，中国东方红卫星公司总经理；2008年获得北京航空航天大学博士学位，9月任中国探月工程副总设计师；2021年当选为中国科学院院士；2022年8月任中国探月工程（四期）总设计师。

于登云主要从事空间飞行器系统工程、动力学与控制技术研究与应用。参加了中国“东方红3号”通信卫星、资源一号卫星、资源二号卫星、北斗导航星、载人飞船、探月工程和有关小卫星等多个型号工程研制与管理工作，从系统工程、动力学与控制角度，为型号工程解决了一系列关键性问题。

尤肖虎院士（2023年当选）

尤肖虎，男，1962年8月出生于山东济宁，籍贯江苏苏州，中国科学院院士，通信学专家，东南大学首席教授、博士生导师，东南大学移动通信国家重点实验室主任、紫金山实验室副主任兼首席科学家、鹏城实验室副主任。

尤肖虎于1978年考入南京工学院无线电工程系，先后获得学士、硕士、博士学位；1988年博士毕业后留校任教；1990年被破格晋升为副教授；1991年被破格晋升为教授；1993年被国务院学位委员会审核批准为博士生导师；1997年获得国家杰出青年科学基金资助；2004年担任东南大学移动通信国家重点实验室主任；2006年至2014年担任东南大学信息科学与工程学院院长；2011年当选为国际电气与电子工程师学会会士；2015年被选举为江苏省科学技术协会第九届委员会副主席；2023年当选中国科学院院士。

尤肖虎长期从事移动通信与信号处理基础理论与技术研究，研究方向为无线与移动通信系统、现代数字信号处理等，参与完成了中国第一个GSM、CDMA、第三代及第四代移动通信系统开发。

张钹院士（1995年当选）

张钹，1935年3月26日出生于福建福清，计算机应用专家，中国科学院院士，俄罗斯自然科学院外籍院士，清华大学教授，清华大学人工智能研究院名誉院长。

张钹1958年毕业于清华大学自动控制系，并留校任教，历任自动控制系、计算机科学与技术系讲师、副教授、教授；1990年—1996年任清华大学智能技术与系统国家重点实验室主任；1994年当选为俄罗斯自然科学院外籍院士；1995年当选为中国科学院院士；2018年任清华大学人工智能研究院院长。

张钹长期从事人工智能、人工神经网络和遗传算法等理论研究，以及这些理论在模式识别、机器人和智能控制等领域的应用研究。在人工智能理论上系统地提出了问题分层求解的商空间理论；解决了不同粒度空间描述、相互转换及复杂性分析等问题；提出了多层信息综合、不确定性处理、定性推理、规划与搜索等新的原理与模型，有效地降低了计算复杂性；在人工神经网络方面，系统得分析了典型神经网络模型，给出了该网络各项性能的定量结果；提出了一种自顶向下新的人工神经网络构造性学习方法，有效地提高了它的性能。

张景中院士（1995年当选）

张景中，1936年12月30日出生于河南汝南县，计算机科学家、数学家，中国科学院院士，广州大学计算机教育软件研究所所长、教授、计算机学科和数学学科博士生导师 。

张景中于1959年从北京大学数学力学系毕业；1979年担任中国科学技术大学数学系讲师；1981年晋升为副教授；1985年调到中国科学院成都分院工作；1986年担任中国科学院研究员，中国科学院成都分院数理科学研究室主任，中国科学院成都计算机应用研究所副所长；1993年被批准为博士导师；1995年当选为中国科学院院士，同年调入广州师范学院；1996年初创办了广州师范学院计算机教育软件研究所；2002年创立了广州景中教育软件有限公司并任公司董事长；2009年到电子科技大学工作。

张景中主要从事机器证明、教育数学、距离几何及动力系统研究。他提出和实现了定理机器证明的数值并行方法。把多年来在教育数学研究中所发展的几何新方法用于机器证明，并提出消点思想，创建了几何定理可读证明自动生成的原理和方法，用这个方法可在微机上快速地进行几何证明，计算和发明新定理，并给出易于理解的有几何意义的证明。发展了非线性振动技术。发展了几何算法的研究，解决了初等图形在欧氏空间嵌入等问题。开拓教育数学的研究，提出以面积为中心的几何教材新体系新方法极限概念的非e语言和连续归纳法将自动推理的成果和方法用于ICAI的研究，主持开发了新型智能理科教育软件。

（未完待续）