全球每年只有一位!中国数学家印卧涛荣获Egon Balas奖 就职阿里
印臥濤曾是加州大學洛杉磯分校數學系終身教授,現任職于阿里巴巴達摩院,負責決策智能實驗室,他也是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進行重要升級,新增了極具挑戰的黑盒優化功能,主要針對優化目標和約束條件無直接描述的黑盒復雜系統,可謂是解決“難中之難”。
總結
以上是生活随笔為你收集整理的全球每年只有一位!中国数学家印卧涛荣获Egon Balas奖 就职阿里的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 《早春》第七句是什么
- 下一篇: 腾讯手游《诺亚之心》开测:虚幻4打造 塞