印卧涛曾是加州大学洛杉矶分校数学系终身教授,现任职于阿里巴巴达摩院,负责决策智能实验室,他也是2021年度全球top1%高被引的数学家。
运筹学和管理科学研究会(INFORMS)是全球规模最大、影响力最强的运筹学和管理科学领域学术组织。
运筹学的核心之一是优化(Optimization),所以INFORMS下设了优化领域的专业协会,针对现实生活生产中的复杂问题,利用数学找出最优解,为决策提供科学依据,华罗庚亲自推广的优选法就是其中典型。
优化横跨运筹学、数学、经济学、管理学等多个学科,也是时下火热的人工智能最核心的部分,具有重要的科研和应用价值,是国际上优化领域最重要的专业协会。
Egon Balas是罗马尼亚出生的整数规划大师,后任教于美国卡内基梅隆大学,在运筹优化领域做出了巨大贡献,2006年当选美国国家工程院院士,2019年去世。
为了纪念Egon Balas, INFORMS Optimization Society在2020年以其名字设立了该奖项,每年颁发给在优化领域做出突出贡献的个人。获奖者必须在其最终学位的 15 年内。
该奖项包括 3,000 美元的现金和一份证书。获奖者将被邀请在颁奖当年的秋季 INFORMS 年会上发表演讲。
印卧涛本科毕业于南京大学数学系,博士毕业于哥伦比亚大学运筹专业,曾是加州大学洛杉矶分校数学系终身教授。
全球知名学术分析机构科睿唯安(Clarivate Analytics)上周公布了2021年度全球top1%高被引数学家名单,印卧涛名列其中。
在成像科学领域,印卧涛发明了压缩感知和图像恢复的快速优化算法,包括当下广泛使用的Bregman算法,能较大幅度提升核磁共振、CT、脑成像等众多场景下的成像质量,信噪比提升数分贝。
颁奖词中提及的算子分裂,是将复杂数学问题分解为一组简单子问题,属于数学领域的基础方法。
印卧涛和学生发现了第一个可以用于分解三单调运算符而不增加变量维度的方法,被学界称为Davis-Yin Splitting,对算子分裂的发展做出了突破性贡献。
过去10年左右,印卧涛在大数据问题的分布式并行优化方面完成了多项优秀工作。他的算法 Jacobi ADMM可在几分钟内解决涉及多个块和数百 GB数据的ADMM优化模型。
他是2013年 NSF(美国自然科学基金)大数据启动会议的三位讨论负责人之一。
最近几年,印卧涛研究了异步并行计算的理论。他与学生一起提出一个 ARock算法框架,可以让一个多线程算法在信息拥堵而线程不等待的状况下依然保证严格收敛,框架内的许多并行方法可以从异步并行中受益。
印卧涛的工作涵盖了从理论分析到实用算法,再到代码开发。他是算子分裂方法、并行和分布式计算、无中心优化、压缩感知和变分图像处理领域世界上最有影响力的研究者之一。
这些领域的快速发展对机器学习和数据科学尤为重要,他对这些领域的贡献,尤其是对成像科学的贡献,为高效优化算法注入了理论严谨性,并过去15年左右的时间里产生了持久的影响。
2019年印卧涛加入阿里巴巴达摩院,主持创建了决策智能实验室,带领团队在短短一两年之内开发出商用级别的优化求解器MindOpt,多次在国际权威的Mittelmann榜单获得第一名。
求解器是求解数学规划问题的软件,广泛应用于云计算、零售、金融、制造、交通、能源等领域,是深埋于智能决策场景底层的“终极利器”。
由于技术壁垒高,几十年来,高性能商用求解器技术始终由少数欧美企业主导。早前AI科技评论对我国研究求解器也有相关报道。
印卧涛团队开发出求解器MindOpt,首先用于阿里云计算资源调度优化,一年节省成本数亿元。2020年12月底,求解器向社会免费开放测试,是国内首个免费开放的商用求解器,目前已能够用单纯形法、网络流法、内点法来解决线性规划问题。
2021年10月MindOpt进行重要升级,新增了极具挑战的黑盒优化功能,主要针对优化目标和约束条件无直接描述的黑盒复杂系统,可谓是解决“难中之难”。