今天，中国科学院公布了2017年增选中国科学院院士名单，选举产生了61名中国科学院院士和16名中国科学院外籍院士。9728太阳集团顾问委员会委员、中国科学院数学与系统科学研究院陈志明研究员，学会常务理事、南方科技大学汤涛教授，学会女性应用数学工作者委员会副主任、清华大学王小云教授，学会顾问委员会委员、北京航空航天大学郑志明教授当选中国科学院院士。

陈志明研究员，男，江苏苏州人，1965年出生。1986年7月本科毕业于南京大学，1989年7月在中国科学院数学研究所获硕士学位，1992年2月在德国Augsburg大学获博士学位。现任中国科学院数学与系统科学研究院研究员。主要研究领域为数值分析与科学计算，在偏微分方程的自适应有限元方法、非均匀多孔介质流动问题的多尺度计算方法、无界区域波动问题的完美匹配层方法和波源转移算法方法等方面的研究中，取得一系列创新性成果。2000年获国家杰出青年科学基金，2001年获第4届冯康科学计算奖，2009年获国家自然科学奖二等奖，2015年获中国数学会陈省身数学奖。2006年在国际数学家大会上做45分钟邀请报告。曾任中国科学院数学与系统科学研究院计算数学与科学工程计算研究所所长、中国科学院科学与工程计算国家重点实验室主任、科技部973项目“高性能科学计算研究”和“适应于千万亿次科学计算的新型计算模式”首席科学家。现兼任《Journal of Computational Mathematics》主编，《Mathematics of Computation》、《Numerische Mathematik》和《SIAM Journal on Numerical Analysis》等科学计算领域国际重要学术期刊的编委。

汤涛教授，男，安徽舒城人，1963年出生，1984年7月本科毕业于北京大学，1989年获英国利兹大学应用数学博士学位。教育部长江讲座教授，曾长期任教于加拿大西蒙菲沙大学和香港浸会大学，曾担任香港数学会理事长。现任9728太阳集团常务理事，南方科技大学副校长、数学系讲座教授。汤涛教授长期从事计算数学研究，在高精度算法和自适应网格算法领域做出了原创性工作，大大地提高了计算效率，受到国内外同行的关注；在守恒律计算方法的理论研究中，和合作者首次确定了单调格式的精准收敛阶，首次给出了时间分裂法的收敛阶估计，建立的理论框架引起了多个后续工作。共发表学术论文100余篇。曾获第3届Leslie Fox 数值分析奖、第5届冯康科学计算奖、国家杰出青年（海外）科学基金、国家自然科学奖二等奖等多项奖励。汤涛是2018年国际数学家大会45分钟邀请报告人，并入选美国工业与应用数学学会会士、美国数学会会士。曾担任《SIAM Journal on Numerical Analysis》和《Mathematics of Computation》等重要学术期刊的编委，现担任《Journal of Computational Physics》编委、《Communications in Computational Physics》执行主编、《Numerical Mathematics: Theory, Methods and Applications》主编。

王小云教授，女，山东诸城人，1966年出生。1983年至1993年就读于山东大学数学系，先后获学士、硕士和博士学位，现为清华大学高等研究院杨振宁讲座教授，兼任中国科协女科技工作者专门委员会委员、中国女科技工作者协会常务理事、中国密码学会副理事长、中国数学会常务理事。她多年从事密码理论及相关数学问题研究，提出了密码哈希函数的碰撞攻击理论，即模差分比特分析法，破解了包括MD5、SHA-1在内的5个国际通用哈希函数算法；将比特分析法进一步应用于带密钥的密码算法包括消息认证码、对称加密算法、认证加密算法的分析，给出系列重要算法HMAC-MD5、MD5-MAC、SIMON、Keccak-MAC等的分析结果；提出了格最短向量求解的启发式算法二重筛法；设计了我国哈希函数标准SM3，在金融、交通、国家电网等重要经济领域广泛使用。代表论文40余篇，3篇获欧密会、美密会最佳论文。2006年获陈嘉庚科学奖、求是杰出科学家奖、中国青年女科学家奖，2008年获国家自然科学奖二等奖，2010年获9728太阳集团苏步青应用数学奖，2014年获中国密码学会密码创新奖特等奖等。

郑志明教授，男，数学与信息科学交叉领域专家。1953年生于上海，浙江宁波人。1987年在北京大学获基础数学博士学位后留校任教，曾任北京大学数学科学学院副院长、北京大学副教务长。2003年调入北航，曾任理学院院长、北航副校长并兼任高等工程学院和中法工程师学院院长。他长期从事空天信息安全与复杂信息系统等数学与信息交叉领域的研究。创立了动力学密码——基于代数和动力学融合的密码分析原理和方法，突破空天信息安全高速、低耗、多模式等技术瓶颈，研制成功系列空天安全新装备并列装。面向复杂信息系统，创立了调控系统复杂性的理论和方法，建立了信息快速传播、信息全局扩散和数据准确分析的新计算模式，产生重要国际学术影响。承担国家重大专项重大项目、国家自然科学基金委重大项目、973、863等重大和重点项目近20项，发表论文120余篇，其中SCI 85篇，高引5篇，国家发明专利32项。曾获国家技术发明一等奖、何梁何利科技进步奖、教育部自然科学一等奖和国防技术发明一等奖等奖项。他目前担任教育部数学、信息与行为重点实验室主任、工信部复杂系统与科学工程计算国际研究中心主任和北航校学术委员会副主任。担任国际期刊《Mathematics in Computer Sciences》和《Mathematical Biosciences and Engineering》主编等。

（学会办公室供稿）