陽振坤（1965年—），中國計(jì)算機(jī)領(lǐng)域的專家，現(xiàn)任螞蟻集團(tuán)副總裁，原生分布式關(guān)系數(shù)據(jù)庫OceanBase創(chuàng)始人兼首席科學(xué)家。2022年11月，陽振坤被中國計(jì)算機(jī)學(xué)會(huì)夏培肅獎(jiǎng)獎(jiǎng)勵(lì)委員會(huì)授予2022年“CCF王選新聞科學(xué)技術(shù)獎(jiǎng)”。
個(gè)人經(jīng)歷
1984年他從湖北省荊州中學(xué)考入北京大學(xué)數(shù)學(xué)系，碩士師從本系的張恭慶院士，博士師從計(jì)算機(jī)系的王選院士。
1993年博士畢業(yè)后不久，留校并破格提拔為計(jì)算機(jī)系副教授。
1997年8月被破格晉升為教授，成為YOCSEF榮譽(yù)委員。
1999年，年僅34歲的他受聘為北大特聘教授。離開高校后，陽振坤先后在方正技術(shù)研究院、聯(lián)想研究院 、微軟亞洲研究院等公司任職，曾先后擔(dān)任方正研究院副院長、北大計(jì)算機(jī)研究所副所長、聯(lián)想研究院首席研究員、微軟亞洲研究院主任研究員、百度集團(tuán)高級科學(xué)家等，主要研究方向?yàn)樵朴?jì)算系統(tǒng)。
2007年9月，陽振坤加盟百度，擔(dān)任百度高級科學(xué)家，負(fù)責(zé)百度自主云計(jì)算系統(tǒng)的設(shè)計(jì)、開發(fā)和應(yīng)用等工作。
2010年，陽振坤正式加入阿里巴巴集團(tuán)， 從0到1發(fā)起了OceanBase 分布式關(guān)系數(shù)據(jù)庫的研發(fā)。
主要成就
早在讀博士期間，陽振坤就擔(dān)任柵格圖象研究室的主任，領(lǐng)導(dǎo)一批青年科研骨干，于1993年完成了國內(nèi)第一個(gè)支持PostScript Level 2的柵格圖象處理器，并在海內(nèi)外大量銷售，取得了經(jīng)濟(jì)效益，為我國新聞出版事業(yè)作出貢獻(xiàn)。該項(xiàng)成果獲1995年度國家科技進(jìn)步一等獎(jiǎng)（排名第四），和1995年全國十大科技成就之首。
中科院院士、北大方正科技研究院院長王選教授這樣評價(jià)他：陽振坤研制了我國第一個(gè)頁面語言解釋器，在新一代RIP的總體設(shè)計(jì)、軟件結(jié)構(gòu)、關(guān)鍵算法等方面作出了關(guān)鍵性貢獻(xiàn)。
2010年，陽振坤正式加入阿里巴巴集團(tuán)，自主研發(fā)了OceanBase 分布式關(guān)系數(shù)據(jù)庫。 自 2014 年起，OceanBase替代 Oracle數(shù)據(jù)庫 在支付寶（中國）網(wǎng)絡(luò)技術(shù)有限公司交易系統(tǒng)上線，已連續(xù)多年平穩(wěn)支撐雙11。
主要論文
[1]分布式關(guān)系數(shù)據(jù)庫Ocean Base的高可靠性. 陽振坤.金融電子化,2016(02)
[2]沿用、并存還是替代:大中型銀行核心系統(tǒng)數(shù)據(jù)庫轉(zhuǎn)型思考. 鄭巖;李曉楓;張升;高峻;吳險(xiǎn)峰;劉瑤;陳蓓;丁永建;陽振坤;孫中東;王明哲;劉汨春.金融電子化,2015(10)
資料來源：
所獲榮譽(yù)
2022年11月14日，2022年度“中國計(jì)算機(jī)學(xué)會(huì)夏培肅獎(jiǎng)王選新聞科學(xué)技術(shù)獎(jiǎng)”公布，OceanBase首席科學(xué)家陽振坤博士入選，以表彰其在計(jì)算機(jī)及相關(guān)領(lǐng)域里取得的顯著學(xué)術(shù)成就和對社會(huì)的重要貢獻(xiàn)。此外，陽振坤還獲得了包括國家科學(xué)技術(shù)進(jìn)步獎(jiǎng)一等獎(jiǎng)（排名第四）、北京市科學(xué)技術(shù)進(jìn)步獎(jiǎng)一等獎(jiǎng)、第六屆中國青年科技獎(jiǎng)、北京市五四青年獎(jiǎng)、第一屆中國科協(xié)求是杰出青年獎(jiǎng)等多項(xiàng)榮譽(yù)。
參考資料 >
計(jì)算機(jī)科學(xué)家“破圈”點(diǎn)亮青少年科學(xué)夢想.山西新聞網(wǎng).2024-04-22
2022年度“CCF王選獎(jiǎng)”評選結(jié)果公告.www.ccf.org.cn.2024-10-01
陽振坤.中國知網(wǎng).2024-10-01