人物經(jīng)歷
印臥濤曾是加州大學(xué)洛杉磯分校數(shù)學(xué)系終身教授。
2019年,加入阿里巴巴達(dá)摩院,主持創(chuàng)建了決策智能實(shí)驗(yàn)室,帶領(lǐng)團(tuán)隊(duì)打造出中國首個(gè)免費(fèi)開放的商用求解器 MindOpt,多次獲得國際權(quán)威榜單第一名。
印臥濤是中國的一名數(shù)學(xué)家,是2013年NSF(美國自然科學(xué)基金)大數(shù)據(jù)啟動(dòng)會(huì)議的三位討論負(fù)責(zé)人之一,現(xiàn)就職于阿里巴巴達(dá)摩院。
主要成就
在成像科學(xué)領(lǐng)域,印臥濤發(fā)明了壓縮感知和圖像恢復(fù)的快速優(yōu)化算法,包括廣泛使用的Bregman算法,能較大幅度提升核磁共振、CT、腦成像等眾多場景下的成像質(zhì)量,信噪比提升數(shù)分貝。
算子分裂,是將復(fù)雜數(shù)學(xué)問題分解為一組簡單子問題,屬于數(shù)學(xué)領(lǐng)域的基礎(chǔ)方法。印臥濤和學(xué)生發(fā)現(xiàn)了第一個(gè)可以用于分解三單調(diào)運(yùn)算符而不增加變量維度的方法,被學(xué)界稱為Davis-Yin Splitting,對(duì)算子分裂的發(fā)展做出了突破性貢獻(xiàn)。
印臥濤在大數(shù)據(jù)問題的分布式并行優(yōu)化方面完成了多項(xiàng)優(yōu)秀工作。他的算法Jacobi ADMM可在幾分鐘內(nèi)解決涉及多個(gè)塊和數(shù)百GB數(shù)據(jù)的ADMM 優(yōu)化模型。他是2013年NSF(美國自然科學(xué)基金)大數(shù)據(jù)啟動(dòng)會(huì)議的三位討論負(fù)責(zé)人之一。印臥濤研究了異步并行計(jì)算的理論。他與學(xué)生一起提出一個(gè)ARock算法框架,可以讓一個(gè)多線程算法在信息擁堵而線程不等待的狀況下依然保證嚴(yán)格收斂,框架內(nèi)的許多并行方法可以從異步并行中受益。
印臥濤的工作涵蓋了從理論分析到實(shí)用算法,再到代碼開發(fā)。他是算子分裂方法、并行和分布式計(jì)算、無中心優(yōu)化、壓縮感知和變分圖像處理領(lǐng)域世界上最有影響力的研究者之一。而這些領(lǐng)域的快速發(fā)展對(duì)機(jī)器學(xué)習(xí)和數(shù)據(jù)科學(xué)尤為重要,他對(duì)這些領(lǐng)域的貢獻(xiàn),尤其是對(duì)成像科學(xué)的貢獻(xiàn),為高效優(yōu)化算法注入了理論嚴(yán)謹(jǐn)性,產(chǎn)生了持久的影響。
印臥濤團(tuán)隊(duì)開發(fā)出求解器MindOpt,首先用于阿里云計(jì)算資源調(diào)度優(yōu)化,一年節(jié)省成本數(shù)億元。2020年12月底,求解器向社會(huì)免費(fèi)開放測試,是中國國內(nèi)首個(gè)免費(fèi)開放的商用求解器,已能夠用單純形法、網(wǎng)絡(luò)流法、內(nèi)點(diǎn)法來解決線性規(guī)劃問題。2021年10月MindOpt進(jìn)行重要升級(jí),新增了黑盒優(yōu)化功能,主要針對(duì)優(yōu)化目標(biāo)和約束條件無直接描述的黑盒復(fù)雜系統(tǒng),可謂是解決“難中之難”。
榮譽(yù)記錄
曾獲得NSF CAREER獎(jiǎng)、斯隆研究獎(jiǎng)、晨興應(yīng)用數(shù)學(xué)金獎(jiǎng)以及達(dá)摩獎(jiǎng)。
2021年11月,獲2021年度優(yōu)化領(lǐng)域 Egon Balas獎(jiǎng)。
2021年11月,全球知名學(xué)術(shù)分析機(jī)構(gòu)科睿唯安(Clarivate Analytics)公布了2021年度全球top1%高被引數(shù)學(xué)家名單,印臥濤名列其中。