18位中国科学院院士赋能人工智能教育

来源：高校人工智能与大数据创新联盟

根据《中国科学院院士章程》的规定，在科学技术领域做出系统的、创造性的成就和重大贡献，热爱祖国，学风正派，具有中国国籍的研究员、教授或同等职称的学者、专家，可被推荐并当选为中国科学院院士。

院士是国家设立的科学技术方面的最高学术称号，一般为终身荣誉。院士不仅是重点大学的标配，更是中华民族的国宝。中国科学院院士每两年增选一次，每次增选，先要推荐院士候选人，然后进行学部评审和选举。

近日，由全国高校人工智能与大数据创新联盟推荐的18位中国科学院院士，在人工智能、计算机、软件领域取得了非凡的成就，他们分别是姚期智、谭铁牛、张钹、戴汝为、乔红、陆汝钤、梅宏、钱德沛、徐宗本、王怀民、吴朝晖、怀进鹏、李衍达、陈国良、张景中、郑建华、郑志明、周巢尘。

他们的付出与努力以及取得的主要成就，对于促进我国高校人工智能、大数据教育教学理念更新、人工智能专业建设、大数据专业建设、学科发展、教育模式变革、教育生态优化，探索人工智能、大数据与教育教学融合及人工智能、大数据人才培养新模式等具有重要意义。

姚期智，计算机科学专家，长期从事计算机科学和量子信息科学研究。2000年图灵奖获得者。2011年担任清华大学交叉信息研究院院长。1946年12月出生于上海。2004年当选为中国科学院外籍院士，2016年转为中国科学院院士。

主要成就：姚期智的研究方向包括计算理论及其在密码学和量子计算中的应用。在三大方面具有突出贡献：（1）创建通讯复杂性和伪随机数生成计算理论；（2）奠定现代密码学基础（3）解决线路复杂性、计算几何、数据结构及量子计算等领域的开放性问题并建立全新典范。另外，姚期智在清华大学创立“姚班”,为国内计算机、人工智能领域拔尖创新人才培养模式的探索树立了突出典范。

谭铁牛，模式识别与计算机视觉专家，主要从事模式识别、图像处理和计算机视觉方面的研究。1964年1月20日出生于湖南省茶陵县。1984年毕业于西安交通大学，1986年与1989年分别获英国帝国理工学院硕士与博士学位。2013年当选为中国科学院院士。现任南京大学党委书记。

主要成就：谭铁牛提出了基于定序测量的虹膜识别理论，建立了算法设计的框架模型，解决了虹膜图像获取、虹膜区域分割和虹膜特征表达等难题。提出了基于环境约束的视觉计算方法，使计算机视觉更加符合人的视觉机理，解决了视觉计算中的一些病态问题，改善了计算效率与鲁棒性。提出了基于多通道滤波的纹理图像分析方法并将纹理分析用于语种、字体和笔迹识别，开辟了解决这类模式识别问题的新途径。

张钹，1935年3月26日出生于福建福清，计算机应用专家，1995年当选为中国科学院院士，俄罗斯自然科学院外籍院士，清华大学教授，清华大学人工智能研究院名誉院长。张钹长期从事人工智能、人工神经网络和遗传算法等理论研究，以及这些理论在模式识别、机器人和智能控制等领域的应用研究。

主要成就：张钹在人工智能理论上系统地提出了问题分层求解的商空间理论；解决了不同粒度空间描述、相互转换及复杂性分析等问题；提出了多层信息综合、不确定性处理、定性推理、规划与搜索等新的原理与模型，有效地降低了计算复杂性；在人工神经网络方面，系统地分析了典型神经网络模型，给出了该网络各项性能的定量结果；提出了一种自顶向下新的人工神经网络构造性学习方法，有效地提高了它的性能。

戴汝为，1932年12月31日出生于云南昆明，控制论与人工智能专家，中国科学院学部委员，中国科学院自动化研究所研究员、学术委员会主任、学位委员会主任。戴汝为长期从事自动控制、系统科学、思维科学、模式识别、人工智能等方面研究工作。

主要成就：20世纪70年代初，戴汝为将“模式识别”引入中国，提出语义—句法模式识别，成为“汉王”核心技术的理论基础，获国家科学技术一等奖；90年代初，通过人工智能的途径，在钱学森先生的直接指导下，跨入对“开放的复杂巨系统及其方法论”、“以人为主、人-机结合，从定性到定量的综合集成研讨厅”等领域的研究，在某些前沿领域进行交叉学科的整合，在中国经济、军事及社会发展领域重大问题决策中，正在发挥着重要作用。20世纪60年代，戴汝为解决了用极大值原理解最速控制、终值控制的数值计算问题。70年代，他最早在国内开展模式识别研究。80年代初，他在美国普渡大学与国际著名模式识别专家傅京孙（K.S.Fu）教授合作，把统计模式识别与句法模式识别结合起来，提出了语义、句法方法。80年代后期，他率先在国内开展了人工神经网络研究，并主持完成了“人工神经元网络软件包”，从而将模式识别和人工神经网络及形象思维联系起来，并应用于手写汉字的识别，形成具有特色的学术思想。

乔红，中国科学院自动化研究所研究员、博士生导师。机器人理论与应用专家，主要从事机器人理论与应用研究，主要包括受人启发的机器人决策、感知、控制及结构设计等方面。1964年8月出生于上海。1986年毕业于西安交通大学，1989年获该校硕士学位，1992年获英国思克莱德大学硕士学位，1995年获英国德蒙福特大学博士学位。2021年当选为中国科学院院士。

主要成就：乔红长期从事机器人“手—眼—脑”的研究，包括：工业机器人操作与控制（手）、机器人视觉（眼）、生物启发式与类脑智能机器人（脑）等；在工业机器人方面，在汽车、数控机床、国防等领域与中国国内外企业合作；在服务机器人方面，与多家企业开展合作；在广东省建立了两个机器人产业化基地。工业机器人基地自主研发了用于精密装配和高速分拣等任务的机器人系统；并开展工业机器人单元技术的研发等。

陆汝钤，1935年2月15日出生于上海，计算机科学家，中国科学院院士，中国科学院数学与系统科学研究院研究员，复旦大学教授、博士生导师。陆汝钤以人工智能、知识工程和基于知识的软件工程为主要研究方向，是中国该领域研究的开拓者之一，他在国际上率先研究异构型分布式人工智能（DAI），把机器辩论引进人工智能，设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件等成果应用。

主要成就：陆汝钤早期从事多元复变函数论研究，首先在一大类非对称可递域上建立起调和函数论，正面回答了在Cartan猜想被否定以后，学术界对非对称可递域上能否建立调和函数论的疑惑。1982年—1984年，陆汝钤设计并主持开发集逻辑过程和产生式于一体的模块式知识工程语言TUILI。1985年在国际上率先研究异构型分布式人工智能（DAI），把机器辩论引进人工智能。设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件。1990年～1995年提出一套全过程计算机支持动画自动生成技术《天鹅》，在艺术创造领域发展了人工智能。2018年12月22日，应邀担任北京理工大学人工智能研究院名誉院长。

梅宏，1963年5月出生于贵州省遵义市，计算机软件专家，中国科学院院士，发展中国家科学院院士，欧洲科学院外籍院士，高可信软件技术教育部重点实验室（北京大学）主任，中国人民解放军军事科学院副院长。2011年当选为中国科学院院士。梅宏主要从事软件工程和系统软件领域的研究。

主要成就：梅宏研究工作主要涉及软件工程及软件开发环境、软件复用及软件构件技术、(分布)对象技术、软件工业化生产技术及支持系统、新型程序设计语言等。他针对开放网络环境下软件动态适应和在线演化两个核心难题，提出基于微内核的中间件构件化体系结构和基于容器的构件在线组装机制，建立了构件化的软件中间件技术体系与框架。提出基于软件体系结构(SA)的构件化软件开发方法ABC，拓展SA到软件全生命周期，实现了对系统级结构复杂性和一致性的有效控制。2006年，梅宏出任北京大学信息科学技术学院院长以后，在学院学科布局、人才引进、教学培养体系、创新性科研、学生服务保证与组织管理等方面都做出了大胆的尝试和有益的探索。

钱德沛，计算机科学家，主要从事计算机体系结构和高性能计算系统研究。1952年8月出生于上海市。1977年毕业于西安交通大学，1984年获美国北德克萨斯州立大学硕士学位。2021年当选为中国科学院院士。

主要成就：钱德沛解决了基于分散、异构、动态资源构建网络计算环境的关键技术问题；主持研发了中国国家高性能计算环境CNGrid；提出了改善众核并行编程的系统性方法，促进了高性能计算的普及应用；长期任高性能计算方向国家重大项目总体组长，主持制定了战略目标和实施方案，确立了高性能计算机的体系结构和技术方案，实现了高性能计算机的跨越发展。

徐宗本，信号与信息处理专家，主要从事智能信息处理、机器学习、数据建模基础理论研究。长期从事Banach空间几何理论与智能信息处理的数学基础方面的教学与研究工作。1955年1月生于陕西省柞水县。1976年毕业于西北大学数学系，1982年和1987年分别于西安交通大学获理学硕士和博士学位。2011年当选为中国科学院院士。

主要成就：徐宗本提出了稀疏信息处理的L(1/2)正则化理论，为稀疏微波成像提供了重要基础。发现并证明机器学习的“徐-罗奇”定理，解决了神经网络与模拟演化计算中的一些困难问题，为非欧氏框架下机器学习与非线性分析提供了普遍的数量推演准则；提出了基于视觉认知的数据建模新原理与新方法，形成了聚类分析、判别分析、隐变量分析等系列数据挖掘核心算法，并广泛应用于科学与工程领域。在机器学习研究领域，徐宗本证明了“一大类非欧氏框架中存在不等式特征数量律并且有类似于欧氏框架的‘类二项式公式’”。这一发现为机器学习研究提供了全新的几何架构和数量推演准则，被称之为“徐-罗奇定理”。几十年来，徐-罗奇定理广泛用于解决人工神经网络、非线性分析等领域的一些困难问题。

王怀民，分布计算领域专家，主要从事面向网络的分布计算研究。1962年4月出生于江苏省南京市。1983年毕业于中国人民解放军信息工程学院应用数学专业，1988年获国防科学技术大学硕士学位，1992年获国防科学技术大学博士学位。国防科技大学副校长兼教育长。2019年当选为中国科学院院士。

主要成就：王怀民主持研制的分布计算软件平台，是首批完成军品设计定型的国产软件，在重要指挥信息系统实现长时间可靠服务；主持研制面向互联网的虚拟计算环境，在云间资源按需聚合的虚拟计算模型和技术上取得突破，为构建高效可信的云计算平台提供了系统性支撑；主持研制可信的国家软件资源共享与协同生产环境，提出基于网络的软件开发群体化方法，支撑中国开源软件开发和教育服务平台建设。王怀民为中国分布计算核心关键技术自主创新、为国家和军队网络信息系统建设和发展做出了突出贡献。在2022世界人工智能大会教育论坛上，王怀民谈到，人工智能的成功并不是取代人，并不是让人工智能和人类智能打擂台，而是二者紧密联合在一起带来的成功。这也为智能教育的发展带来了深刻的启迪。

吴朝晖，第二十届中央候补委员，浙江大学校长，计算机应用专家，主要从事计算机领域研究。1966年12月出生于浙江温州。1988年毕业于浙江大学计算机系，1993年在浙江大学获博士学位。2017年当选为中国科学院院士。

主要成就：吴朝晖在服务计算方面，提出了复杂服务计算理论模型与方法，主持研制了复杂服务计算支撑平台。在脑机融合的混合智能（Cyborg Intelligence）方面，提出了混合智能体系结构及脑在回路的信息处理模型；发明了多种脑机间智能交互、融合增强的技术方法，主持构建了听视觉增强的大鼠机器人等原型系统。

怀进鹏，第二十届中央委员，中国科学院院士，教育部党组书记、部长。计算机软件专家，主要从事网络化软件技术与系统研究工作。1962年12月生于黑龙江哈尔滨。1984年毕业于吉林工业大学（现吉林大学），1987年获哈尔滨工业大学硕士学位，1993年获北京航空航天大学博士学位。2009年当选为中国科学院院士。

主要成就：怀进鹏提出了网络资源的可信聚合与调度方法，主持研制的系统实现了分布资源的可信共享和利用，为提高分布计算能力提供了实用系统；提出了安全协议分析的代数理论和算法，主持研制了协议自动分析与验证系统；提出了过程类软件自动开发方法和技术，主持研制的软件生产工具提高了面向领域的应用软件开发效率和质量。1995年前主要从事逻辑推理与智能数据库研究，他解决了缺省逻辑和限制逻辑中缺乏知识更新与进化机理问题，给出了ATMS的语义和递归查询算法。怀进鹏曾任国家计算机2000年问题专家组组长。怀进鹏在2019世界人工智能大会致辞中表示，发展人工智能要强化基础研究和人才培养，构筑科学发展和治理的良性生态，推动开放交流和务实合作。

李衍达，信号处理与智能控制专家，主要从事信号处理理论和地震勘探数据处理方法的研究。1936年10月12日生于广东东莞。1959年毕业于清华大学自动控制系。1991年当选为中国科学院院士（学部委员）。

主要成就：李衍达主要从事信号处理理论和地震勘探数据处理方法的研究。在信号重构理论方面，提出了应用幅度谱和部分采样点重构信号的新定理，使所需的采样点由N/2减至N/6提出了利用相位重构技术估计时延的新方法提出了仅用幅度谱重构最小相位信号的新算法。与合作者在用不完全投影重建图像问题上，提出了新的投影关系定理在将信号处理、模式识别技术应用于地震勘探数据处理方面，提出了利用测井资料提高地震剖面分辨率的新方法，以及高分辨率速度谱估计方法与合作者提出了采用POCS图像复原技术恢复波阻抗剖面的方法提出了基于零、极点估计的子波估计与反褶积方法提出了用新的τ－S变换剔除多次波的方法，以及综合地质、测井、地震资料预测储层分布等。

陈国良，1938年6月3日出生于安徽颍上，并行算法、高性能计算专家，中国科学院院士，中国科学技术大学教授、博士生导师，国家高性能计算中心（合肥）主任。陈国良院士主要从事并行算法，高性能计算及其应用等研究。

主要成就：陈国良在非数值并行算法研究方面，取得了一些国际同期最好的成果，包括分组选择网络、递归选择网络、Benes网络选路算法、VLSI平面嵌入算法、网络最大流算法、装箱算法的平均性能分析等。在高性能计算及其应用研究方面，提出了“并行算法—并行机结构—并行编程”一体化的研究方法，开发了自主版权的国产曙光并行机“用户开发环境”商用软件。研制了安徽省防灾减灾决策支持系统与淮河流域防洪防污调度系统，在实际应用中产生了一定的社会和经济效益。在2022(第五届)甘肃媒体融合创新与发展论坛上，陈国良院士作了题为《人工智能在新媒体领域的探索与应用》的线上主旨分享，分析了人工智能、大数据、高性能计算等信息技术在新媒体发展中的重要性。

张景中，计算机科学家、数学家，主要从事机器证明、教育数学、距离几何及动力系统研究。1936年12月30日生于河南汝南县。1959年毕业于北京大学数学力学系。1995年当选为中国科学院院士。广州大学计算机教育软件研究所所长、教授、计算机学科和数学学科博士生导师。

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

郑建华，信息分析专家，长期从事复杂信息系统分析和相关基础理论研究。1956年9月出生于吉林省长春市。1987年毕业于中国科学技术大学研究生院。2011年当选为中国科学院院士。

主要成就：郑建华长期从事复杂信息系统分析和相关基础理论研究，对该领域的序列论、函数论、算法设计与分析等进行了系统研究，在复杂信息系统输出分析技术、系统模型解析理论和方法、系统参数还原技术研究中均取得创新性研究成果，这些研究成果在实际复杂系统分析中多次发挥显著作用。在2019年智博会人工智能与安全高峰论坛上，郑建华以“人工智能应用与信息安全”为主题作主旨报告，解读人工智能与信息安全的发展趋势。

郑志明，信息处理专家，长期从事空天信息安全与复杂信息系统等数学与信息交叉领域的研究。1953年10月出生于上海市。1977年毕业于北京大学数学系，1984年、1987年获该校基础数学硕士、博士学位。2017年当选为中国科学院院士。

主要成就：郑志明创立了动力学密码——基于代数和动力学融合的密码分析原理和方法，突破空天信息安全高速、低耗、多模式等技术瓶颈，研制成功系列空天安全新装备并列装。面向复杂信息系统，创立了调控系统复杂性的理论和方法，建立了信息快速传播、信息全局扩散和数据准确分析的新计算模式，产生重要国际学术影响。2020年，郑志明担任北京大学人工智能研究院教授。

周巢尘，计算机软件专家，主要从事分布式计算、理论计算机科学研究。1937年11月1日生于上海。1958年毕业于北京大学数学力学系，1967年研究生毕业于中国科学院计算技术研究所。1993年当选为中国科学院院士（学部委员）。第三世界科学院院士，中国科学院软件研究所研究员、博士生导师。周巢尘长期从事计算机科学理论的研究，在软件形式化理论方面做出了系统的、创造性的工作，取得了具有国际先进水平的研究成果。

主要成就：周巢尘研究生期间，研读数理逻辑。20世纪60年代末转入信息处理系统，计算机操作系统及网络系统的研制。自20世纪70年代中期，致力于程序设计方法学的研究，特别是形式化方法的研究。形式化方法建立了软件工程的数学基础，倡导软件设计和开发的严格方法及工具，以期软件工程最终跻身于现代工程科学行列。形式化方法已逐渐被软件工业界所采用，特别是用于严格安全系统的研制。20世纪80年代，主要从事分布式系统的研究。1981年周巢尘与英国同事合作提出了分布式计算系统正确性的组合式验证方法。20世纪90年代，从事实时系统研究。1991年与英国及丹麦科学家合作建立了实时计算系统设计的一种新颖的逻辑方法。周巢尘是国际著名计算机理论专家，中国分布式程序设计理论研究的先驱者和开拓者之一。周巢尘提出的时段演算，为实时系统的形式化设计和验证做出了开创性的工作，得到国际同行的公认。

全国高校人工智能与大数据创新联盟

全国高校人工智能与大数据创新联盟（简称:高校联盟）是由清华大学、浙江大学、中南大学、东北大学、上海工程技术大学、重庆邮电大学、东北林业大学、佛山科学技术学院、曲阜师范大学、黑龙江大学、海豚大数据科技等全国54家高校、企业共同发起，于2018年5月26日在北京中国科技会堂正式成立。迄今为止，联盟发展会员300多家, 覆盖全国20多个省市。联盟由一批积极投身于“人工智能、大数据、区块链”教育事业的高校、科研机构、企事业单位和个人自愿组成的公益性、全国性学术交流服务平台。中国工程院原常务副院长、中国工程院院士潘云鹤、中国科学院院士陈国良、教育部政策法规司原司长孙霄兵担任联盟名誉理事长，中国工程院院士谭建荣担任联盟理事长。联盟工作接受工信部、国家网信办等政府部门行政管理和业务指导。联盟主要工作是推进产教融合、校企合作、协同育人。(加盟微信13651193492)

高校区块链专委会

全国高校人工智能与大数据创新联盟区块链专委会（简称:高校区块链专委会），是由北京大学、浙江大学、武汉大学、西南财经大学、北京交通大学、郑州大学、贵州大学、桂林电子科技大学、山西农业大学、佛山科学技术学院、陕西师范大学、中国网安、海豚大数据科技等全国40多家高校、企业和机构共同发起，于2019年12月7日在广东省佛山市正式成立。目前发展高校及企业会员70多家。中国工程院院士、浙江大学教授陈纯担任高校区块链专委会名誉顾问；北京航空航天大学数字社会与区块链实验室主任蔡维德教授、中国计算机学会区块链专委会主任斯雪明教授、中国人民银行数字货币研究所副所长狄刚担任高校区块链专委会名誉主任；北京大学信息科学技术学院区块链中心主任陈钟教授担任高校区块链专委会主任。高校区块链专委会主要工作是促进高校区块链教育，为高校区块链专业建设及学科发展提供专家咨询服务。

高校元宇宙专委会

全国高校人工智能与大数据创新联盟元宇宙专业委员会（简称:高校元宇宙专委会），是由清华大学、湖南大学、浙江大学、四川大学、汕头大学、河北金融学院、保定市元宇宙协会、英伟达中国、海尔衣联网研究院、海豚大数据科技(天津)有限公司等全国20多所高校、企业和机构共同发起，于2022年11月5日在北京正式成立。中国工程院院士、计算机软件与虚拟现实领域专家赵沁平担任高校元宇宙专委会名誉顾问；中国工程院院士、北京航空航天大学电气与自动化学院名誉院长、中国航天科工集团有限公司科技委高级顾问李伯虎担任高校元宇宙专委会名誉主任；清华大学信息国研中心可信软件和大数据部常务副主任邢春晓担任高校元宇宙专委会主任委员。目前已发展高校及企业会员30多家。高校元宇宙专委会主要工作是促进高校元宇宙教育、加强校企合作、推动元宇宙专业建设及学科发展，为元宇宙教育教学提供专家咨询服务。

高校新商科专委会

全国高校人工智能与大数据创新联盟新商科专委会（简称:高校新商科专委会），是由中央财经大学、中国人民大学、中国石油大学、北京师范大学、北京化工大学、北京石油化工学院、北京工商大学、北京语言大学、华北水利水电大学、广西科技大学、河北金融学院、天津财经大学、北京物资学院、西藏民族大学、北京信息职业技术学院、北京联合大学、北京经贸职业学院、北京财贸职业学院、海豚大数据科技等全国20多家高校、企业和机构共同发起，于2019年6月28日在北京中国科技会堂正式成立。目前发展高校及企业会员100多家。高校新商科专委会主要工作是促进高校新商科教育、推动高校新商科专业建设及学科发展，为新商科教育提供专家咨询服务。

AI联盟

全国高校人工智能与大数据创新联盟

往期精彩文章（单击就可查看）：

1.

2.

3.

4.

5.

6.

7.

8.

9.

10. 高职大数据专业排行榜 2022全国882所高职高专院校大数据技术(与应用)专业教育教学综合实力一览表

11.

12.

13. 办

14.

15.

16.

17.

18.

19.

20.

21.

22.

23.

24.

25.

26.

27.