设为首页|加入收藏

学术带头人

郑志明,中国科学院院士,“万人计划”国家教学名师。现任数学、信息与行为教育部重点实验室主任,北航人工智能研究院院长,教育部全国高校数学专业教指委主任等职;担任Springer-Birkhauser期刊MSC和美国数学会数学研究所期刊MBE主编;担任近十项国家重大规划、重大专项和重大项目专家。

数学与信息交叉领域专家,长期从事动力系统、新一代密码、高性能空天密码关键技术和装备、人工智能和复杂信息系统理论与应用等方面研究,发表学术论文100余篇,授权国家发明专利30余项,撰写GF技术报告60余篇,著作2部。主持国家自然科学基金委重大项目、科工局重大专项等。

作为第一完成人获国家技术发明一等奖、教育部自然科学一等奖、何梁何利科技进步奖等奖励,在教学和人才培养方面获国家教学成果特等奖、二等奖等奖励,因在暗物质数据处理中的贡献,获NASA表彰。

王东明,教授,欧洲科学院院士,教育部长江学者特聘教授,在符号计算、自动推理、知识管理与发现等领域从事基础与应用研究,已出版专著3部、教材3本、编译著20余部,发表专业学术论文100余篇。其代表性研究成果在国内外科技文献中被称为“王方法”、“王简单系统”等。先后担任《中国科学:信息科学》编委、《Mathematics in Computer Science》创刊主编和AISC 2006 & 2018、ISSAC 2007 & 2019等国际学术会议的大会主席。

刘铁钢,教授,博士生导师,数学、信息与行为教育部重点实验室副主任,北航研究生院副院长兼培养处处长,研究偏微分方程理论和偏微分方程数值解在科学与工程计算领域中的应用。在流场高精度数值方法、多介质流算法、气动优化等领域拥有前沿的研究成果。在SIAM JSC、JCP等一流期刊发表论文百余篇。曾任中国工业与应用数学会常务理事、中国计算数学学会常务理事。现任北京市计算数学学会常务理事,《Numerical Mathematics:Theory,Methods and Applications》、《Advances in Applied Mathematics & Mechanics》等多个期刊编委。

韩德仁,教授,博士生导师,北航数学科学学院院长,研究优化问题和变分不等式问题的数值方法及其在交通规划、磁共振成像中的应用,在交替方向乘子法方面做出了突出贡献,在《Math. Program.》等期刊发表学术论文100余篇。曾获中国运筹学会青年运筹学奖、江苏省科技进步二等奖(排名第3)等奖项。担任中国运筹学会理事;《计算数学》、《Journal of the Operations Research Society of China》、《Journal of Global Optimization》编委。2016年国家杰出青年基金获得者。

张筱,教授,博士生导师,北航数学科学学院副院长、智能理论与复杂智能系统前沿院执行院长,研究非线性动力学等数学原理在信息领域中的应用。她将连续空间中的行为演化和系统分析工具引入密码、智能安全和博弈理论研究中,在《Nonlinear Dynamics》等期刊发表学术论文28篇,授权国家发明专利 16项,担任某创新特区智能理论重点项目首席科学家,获2014年国家技术发明一等奖(排名第2)。

唐绍婷,教授,博士生导师,北航数学科学学院数据与信息科学系主任,主要从事复杂信息系统、脑认知驱动的人工智能等方面的研究工作。发表学术论文42篇,授权国家发明专利5项,主持基金委面上项目等国家级或省部级项目7项,参与国家基金委、科技部、工信部重大项目5项。获2013年教育部自然科学一等奖(排名第5)、首届教育部学术新人奖等。2019年国家优秀青年基金获得者。

陈巍,北航数学科学学院教授,博士生导师。主要从事复杂网络、复杂系统、数据科学等数学交叉领域的研究,他将渗流理论引入复杂网络研究,首次构建了非连续渗流模型相变阈值的预测方法,在Physical Review Letters等国际期刊和会议上发表论文20余篇,出版英文专著一部。曾获Springer全球优秀博士论文奖、教育部自然科学一等奖(排名第6)、教育部学术新人奖等奖励。担任Physical Review E、EPL、Physica A等十多个国际著名期刊审稿人。2019年入选国家级人才计划。

姜鑫,北航数学科学学院副教授,博士生导师德国联邦政府DAAD奖学金获得者,海德堡大学欧洲交叉科学中心、美国西北大学ESAM访问学者。研究领域为复杂曲面先进制造的数学理论与技术,提出了基于物理与几何场耦合驱动的曲面数控加工新原理与方法。主持参与了国家自然科学基金青年、重大、科技部重点研发计划等课题,在PRL、IJAMT等著名期刊发表论文40余篇,授权国家发明专利5项,2014年获教育部自然科学一等奖(排名第4)

王鹏,北航教授,博士生导师研究不确定性量化理论方法,并将其应用于数据同化、太阳能预测、计算材料等领域,在《Journal of Computational Physics》、《Physical Review Letters》、《Renewable and Sustainable Energy Review》等重要学术期刊发表学术论文21篇,出版1部专著《不确定性量化导论》,牵头承担2项国家重点研发计划项目课题。自2015年在JCR Q1区期刊《International Journal for Uncertainty Quantification》担任编委。

佘志坤,北航教授,博士生导师。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、SIAM期刊、IEEE汇刊等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文80余篇。研究成果获得包含图灵奖获得者、自动推理杰出成就奖获得者、院士等国内外学者的正面评价与引用。由图灵奖获得者Edmund M. Clarke等编著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了其开发的验证工具HSolver。2014年国家优秀青年基金获得者。

周渊,北航教授,博士生导师,洪堡学者。主要研究调和分析,非光滑分析与非线性偏微分方程。他发展了一个调和分析与拟共形几何相结合的方法,建立了平面无穷调和方程以及任意维数的p-调和/抛物方程的二阶正则性,已在JEMS,Adv Math,ARMA和JMPA等数学期刊发表论文40多篇。被国际数学家大会报告人Ambrosio等和Invent math等期刊反复引用。获教育部新世纪优秀人才支持计划支持,2015年教育部自然科学二等奖(第3完成人)。2015年国家优秀青年基金获得者。

梁湘玉,北航数学科学学院研究员,博士生导师。研究方向为几何测度论。近年来主要从事Plateau问题的奇点分类以及相关问题的切结构研究工作,突破性研究成果先后在JMPA, Proceedings of London mathematical society, JFA等国际一流杂志上独立发表。连续三届在全球华人数学家大会(ICCM)做45分钟邀请报告,曾获2013ICCM新世界数学奖博士论文金奖。

夏勇,教授,博士生导师,北航数学科学学院副院长。研究方向为最优化理论与算法,与合作者针对经典二次指派问题提出的新模型,被国内外命名为Xia-Yuan线性化;首次建立了完整的等式型S-引理,蕴含着俄罗斯Yakubovich院士1971年证明的不等式型S-引理;独立解决了包括2007年SIAM Rev.非线性分析和优化14个公开问题中第11个在内的多个公开问题。在《Mathematical Programming》、《SIAM Journal on Optimization》等期刊发表学术论文75篇。2018年国家优秀青年基金获得者。



版权所有  数学信息与行为教育部重点实验室

地址:北京市海淀区学院路37号   邮编:100191