
智東西(公眾號:zhidxcom)
作者 | 陳駿達
編輯 | Panken
智東西2月(yue)14日消息,昨日,美國(guo)計算機協(xie)會(ACM)正式發布了2024年(nian)(nian)的(de)(de)杰(jie)出會員名(ming)單(dan)。今年(nian)(nian)ACM共(gong)評選(xuan)出56名(ming)杰(jie)出會員,其中(zhong)共(gong)有(you)22名(ming)華(hua)(hua)人學者當選(xuan),占(zhan)比近40%,與(yu)2023年(nian)(nian)的(de)(de)9人相比,當選(xuan)ACM杰(jie)出會員的(de)(de)華(hua)(hua)人學者數量(liang)和比重均實現翻倍(bei)。
本次(ci)當選的(de)(de)22名華人學(xue)(xue)者,既有來自(zi)清華大學(xue)(xue)、北京大學(xue)(xue)、香港大學(xue)(xue)、上海交通(tong)大學(xue)(xue)、哈佛大學(xue)(xue)、南洋理(li)工大學(xue)(xue)等(deng)國內外各大高校的(de)(de)教授,也有來自(zi)華為、百度的(de)(de)高級(ji)技術專家。
據ACM介紹,今年的杰出會員來自13個(ge)國(guo)家和地區的大學、公司和研究(jiu)機(ji)構(gou),他們在自動駕駛汽車、AI、網(wang)絡安(an)全、移動網(wang)絡、軟件和許多其他領域做出了(le)貢獻。
ACM杰出會(hui)員計(ji)(ji)劃根據專業經(jing)驗(yan)和在(zai)(zai)超出常(chang)規(gui)的(de)計(ji)(ji)算方面(mian)取得的(de)重(zhong)大成就進(jin)行評(ping)選。要獲(huo)得這一獎項,候選人必須在(zai)(zai)該領域擁有至少15年的(de)專業經(jing)驗(yan),并且(qie)必須在(zai)(zai)該領域取得重(zhong)大成就或產生重(zhong)大影響(xiang)。
以下為獲得(de)2024年(nian)ACM杰出會員稱號的華人學者的履歷(li)。
1、ZhiPeng Cai
所屬單位:佐治亞州(zhou)立大學(xue)
獲評原因:對于在無線(xian)網(wang)絡(luo)中數據采集、收集、計算和發布方面的貢獻。
ZhiPeng Cai是佐治亞州立大(da)學(xue)(xue)計算機科學(xue)(xue)系(xi)的教授(shou),也是羅(luo)賓遜(xun)商學(xue)(xue)院(yuan)計算機信息(xi)系(xi)統(tong)系(xi)的副(fu)教授(shou)。他(ta)在(zai)阿爾伯塔大(da)學(xue)(xue)計算機科學(xue)(xue)系(xi)獲得博士和碩士學(xue)(xue)位。
他(ta)在頂(ding)級(ji)期刊和會議上(shang)發(fa)表了100多(duo)篇出版物,引(yin)用次數超過18000次,其(qi)中包括90多(duo)篇IEEE/ACM Transactions論(lun)文。
2、陳榕
所屬單位:上海交通大學
獲評原因:對于提高分(fen)布式系統性能和可擴展性的貢獻。
陳榕(rong)是上海交通大學(xue)(xue)的教授,主要研究方向為系統(tong)軟件、并行與(yu)分布式系統(tong)。在(zai)包括SOSP、OSDI、EuroSys、PPoPP、PACT、ICSE等國際著名會(hui)議發表多篇學(xue)(xue)術論文(wen)(wen),并獲得第(di)10屆歐洲(zhou)計算機系統(tong)大會(hui)(EuroSys’15)和第(di)36屆國際并行處理大會(hui)(ICPP’07)的唯一(yi)最(zui)佳論文(wen)(wen)獎。
2004年-2011年期間,他相繼在復旦(dan)大學(xue)獲得學(xue)士、碩士和博士學(xue)位。
3、Yunan Chen
所屬單位:加(jia)州大學歐(ou)文分校
獲評原因(yin):在健(jian)康(kang)技(ji)(ji)術的(de)社(she)會(hui)-技(ji)(ji)術設計的(de)貢獻。
Yunan Chen是加(jia)州大(da)學歐文分(fen)校(UCI)唐納(na)德布倫信(xin)息與計(ji)算機科學學院的信(xin)息學教(jiao)授。
研究領域(yu)包括人機交互(HCI)、計算機支持(chi)合作(zuo)工作(zuo)(CSCW)和健康信息學的(de)交叉領域(yu)。
主要(yao)對(dui)研究(jiu)如何生成、管理、共享(xiang)和利用健(jian)康信息感(gan)興趣(qu),以在臨床和以患者為導向的環(huan)境中推動更好的醫療(liao)保健(jian)。
4、叢高
所屬(shu)單位:南洋理工大學
獲評原因:對空間數據管理和(he)時空數據挖(wa)掘的貢(gong)獻。
叢高(gao)是南洋(yang)理工大(da)學的計(ji)算機與(yu)數據(ju)(ju)科學學院(CCDS)教授,主(zhu)要研究空間(jian)數據(ju)(ju)管理(空間(jian)+X數據(ju)(ju)系統(tong)(tong))、空間(jian)-時間(jian)數據(ju)(ju)挖掘與(yu)智慧(hui)城市、推薦系統(tong)(tong)和用于數據(ju)(ju)庫(ku)的ML/AI。
他于(yu)90年代在天津(jin)大學(xue)(xue)完成學(xue)(xue)士(shi)和碩士(shi)學(xue)(xue)位的修讀,在1999年加入華為,2000年前往新(xin)加坡國立大學(xue)(xue)深造(zao),于(yu)2004年獲得計算機科學(xue)(xue)博士(shi)學(xue)(xue)位。
5、Song Fu
所屬單位:北德克薩(sa)斯大學
獲評原(yuan)因:在聯(lian)網自動駕駛汽車和邊緣(yuan)計算方(fang)面的貢獻。
Song Fu碩士畢業于南京大(da)學計算(suan)機科(ke)學系(xi)(xi),后(hou)在韋恩州(zhou)立(li)大(da)學獲得博士學位。目(mu)前,他是北德克薩斯大(da)學計算(suan)機科(ke)學與工程(cheng)系(xi)(xi)的(de)(de)教授(shou),可靠計算(suan)系(xi)(xi)統實驗室的(de)(de)負責人,IEEE高(gao)級會員。
研(yan)究領(ling)域主要集(ji)中在高性(xing)能計(ji)算(suan)、分布式和(he)云計(ji)算(suan)系(xi)統、智(zhi)能系(xi)統、邊緣計(ji)算(suan)、機器學習以及自動駕(jia)駛(shi)技術等領(ling)域。
6、Zi Helen Huang
所(suo)屬(shu)單位:昆士蘭大學
獲評(ping)原因:對多(duo)媒體計算研究(jiu)做出的(de)貢獻。
Zi Helen Huang是昆士蘭大(da)學(xue)(xue)(xue)(xue)(xue)(xue)EECS學(xue)(xue)(xue)(xue)(xue)(xue)院(yuan)(yuan)的教授(shou)和ARC未來研(yan)究(jiu)員。她在清華大(da)學(xue)(xue)(xue)(xue)(xue)(xue)計算機科(ke)學(xue)(xue)(xue)(xue)(xue)(xue)系獲得(de)學(xue)(xue)(xue)(xue)(xue)(xue)士學(xue)(xue)(xue)(xue)(xue)(xue)位,并(bing)在2001年和2007年分別畢(bi)業于昆士蘭大(da)學(xue)(xue)(xue)(xue)(xue)(xue)EECS學(xue)(xue)(xue)(xue)(xue)(xue)院(yuan)(yuan)計算機科(ke)學(xue)(xue)(xue)(xue)(xue)(xue)。她的研(yan)究(jiu)興趣主要(yao)包括多媒體索引與(yu)搜索、社會數據分析與(yu)知識發現。
7、居濤
所(suo)屬(shu)單位:華盛頓大學圣路易斯分(fen)校
獲評原因:對(dui)魯棒網格處(chu)理(li)、重心(xin)坐標和生物醫學中的(de)幾何計算做出的(de)貢獻。
居濤2000年(nian)畢業(ye)于清華(hua)大(da)學(xue)2005年(nian),之后獲得萊斯大(da)學(xue)計(ji)算機科學(xue)博(bo)士學(xue)位。他的(de)主要研究領域是計(ji)算機圖形學(xue),尤(you)其(qi)是幾(ji)何建模、網格(ge)處理和(he)形狀理解。
他研究的(de)另一個重(zhong)點是生(sheng)物(wu)醫學應(ying)用(yong),特別是用(yong)于分析生(sheng)物(wu)醫學圖像和體積的(de)幾何算法。
8、林宙辰
所屬單位:北京大(da)學(xue)
獲(huo)評原因:對于計算機視(shi)覺和機器學習(xi)的(de)貢獻。
林宙辰是北京大(da)學信息科學中心的(de)教授,主要從事(shi)機器(qi)學習,模(mo)式識別,計算機視覺,圖像(xiang)處理,數值優化等(deng)方面的(de)研(yan)究。
他(ta)曾獲得國家自然科學杰出青年基金,Okawa基金會(hui)資助,以及多個國際學術會(hui)議的主席和編委職務,是IEEE和IAPR的會(hui)士。
9、羅瓊
所(suo)屬(shu)單(dan)位:香港(gang)科技大學
獲評原因:對數據密集(ji)型系(xi)統及其(qi)在現(xian)代計(ji)算機上的(de)應用(yong)所(suo)做的(de)貢獻。
羅瓊是(shi)香港科技大學計算機科學與工程系(xi)的(de)(de)教授。她(ta)的(de)(de)研究興趣是(shi)大數據系(xi)統、并行和分布式系(xi)統以及數據密(mi)集型應用程序(xu)。目前的(de)(de)重點(dian)是(shi)現代硬(ying)件上的(de)(de)數據管理、用于數據分析的(de)(de)GPU加速以及e-science的(de)(de)數據處理支(zhi)持。
羅瓊在威(wei)斯(si)康星大學麥迪遜分校(xiao)獲得計算(suan)機科(ke)學博士(shi)學位,在北(bei)京大學獲得計算(suan)機科(ke)學碩士(shi)和學士(shi)學位。
10、羅夏樸
所屬單位:香(xiang)港理工大學
獲評原(yuan)因(yin):對保障區塊鏈和(he)智能合約,以(yi)及安卓系(xi)統及其應(ying)用做出的貢獻(xian)。
羅夏(xia)樸擁有武漢(han)大(da)學(xue)(xue)通(tong)(tong)信工程學(xue)(xue)士學(xue)(xue)位(wei)和通(tong)(tong)信與信息系統(tong)碩士學(xue)(xue)位(wei)。他在香港理工大(da)學(xue)(xue)獲得計(ji)算機科(ke)學(xue)(xue)博士學(xue)(xue)位(wei),師從張國強教(jiao)授。之(zhi)后,羅夏(xia)樸在佐治亞(ya)理工學(xue)(xue)院工作(zuo)了兩年,擔任博士后研究員(yuan).
他(ta)目前的研究興趣包(bao)括移動、物聯網(wang)、系統安全和(he)隱私(si)、區塊(kuai)鏈/智能合約、軟件工(gong)程(cheng)、網(wang)絡安全和(he)隱私(si)以及互聯網(wang)測量。
11、Chunyi Peng
所屬單位(wei):普(pu)渡大學
獲評原(yuan)因:對(dui)基于(yu)設備的(de)移動(dong)網(wang)絡分析和基于(yu)聲音和光線的(de)移動(dong)傳(chuan)感的(de)貢獻。
Chunyi Peng是普(pu)渡大學計(ji)算(suan)機(ji)科學系的副教(jiao)(jiao)授(shou)。此前,她在(zai)加州大學洛杉磯分校(xiao)獲得計(ji)算(suan)機(ji)科學博(bo)士(shi)學位后,擔任俄(e)亥俄(e)州立大學計(ji)算(suan)機(ji)科學與工(gong)程系的助理(li)教(jiao)(jiao)授(shou)。
她以(yi)最(zui)高(gao)榮譽獲得了(le)清華(hua)大學(xue)(xue)自(zi)動(dong)化(hua)專業的工程碩士和工程學(xue)(xue)士學(xue)(xue)位。
Chunyi Peng的研(yan)究興趣是(shi)移動網(wang)絡(luo)、系統和安全(quan)的廣泛領(ling)域,最近的重點是(shi)革(ge)新(xin)5G接(jie)入(ru)技術、網(wang)絡(luo)AI、5G/物聯網(wang)安全(quan)、移動邊緣計算(主要用于自主無人機(ji)、車輛和機(ji)器人)。
12、Gang (Gary) Tan
所(suo)屬單(dan)位:賓(bin)夕(xi)法尼(ni)亞州立(li)大學
獲評(ping)原(yuan)因:對軟件安全研究的(de)貢獻。
Gang (Gary) Tan?是賓夕法尼亞州立大(da)學計算(suan)機科學與工程(cheng)學院的教(jiao)授,并(bing)共同指導其網絡安全研究學院(INSR)。他從清華大(da)學獲得計算(suan)機科學學士(shi)學位(wei),從普林斯頓大(da)學獲得計算(suan)機科學博(bo)士(shi)學位(wei)。
他的(de)研究興趣包括計(ji)(ji)算機安(an)全、形(xing)式方(fang)法和(he)編(bian)(bian)程(cheng)語言(yan)。他領導著軟件安(an)全(SOS)小(xiao)(xiao)組,該小(xiao)(xiao)組廣(guang)泛關注將編(bian)(bian)譯器、編(bian)(bian)程(cheng)語言(yan)和(he)形(xing)式方(fang)法技術應用于提高計(ji)(ji)算機安(an)全。
13、汪玉
所屬單位:清華大(da)學
獲評(ping)原因:節(jie)能AI加速器的軟硬件協同設計方(fang)法(fa)。
汪玉(yu),清(qing)華大(da)學電子工程(cheng)系(xi)長聘教授、系(xi)主(zhu)任,IEEE Fellow,國家(jia)自然科(ke)學基(ji)金杰出青年(nian)基(ji)金獲得者,清(qing)華大(da)學信息科(ke)學技術學院副院長,清(qing)華大(da)學天津電子信息研究院院長。
他長期(qi)從事智能芯片(pian)、高能效電路與系統研究(jiu),共發表論文(wen)300余篇,IEEE/ACM期(qi)刊文(wen)章60余篇,谷歌學術(shu)引用22000余次(ci)(ci)。曾獲(huo)得4次(ci)(ci)國際學術(shu)會議最(zui)佳(jia)論文(wen)獎及12次(ci)(ci)最(zui)佳(jia)論文(wen)提名。
14、吳川
所屬單位:香港大學
獲(huo)評原因(yin):對云計算中(zhong)在(zai)線資源分配的(de)貢獻以(yi)及(ji)分布(bu)式機器(qi)學(xue)習系統優化的(de)貢獻。
吳川是香港(gang)大學(xue)(xue)(xue)計(ji)算(suan)(suan)機(ji)科(ke)學(xue)(xue)(xue)與數據科(ke)學(xue)(xue)(xue)學(xue)(xue)(xue)院(yuan)計(ji)算(suan)(suan)機(ji)科(ke)學(xue)(xue)(xue)系(xi)的教(jiao)授(shou)。她在(zai)加拿大多(duo)倫多(duo)大學(xue)(xue)(xue)的電氣與計(ji)算(suan)(suan)機(ji)工程(cheng)系(xi)獲得了博士學(xue)(xue)(xue)位(wei)(wei),并在(zai)清華大學(xue)(xue)(xue)計(ji)算(suan)(suan)機(ji)科(ke)學(xue)(xue)(xue)與技術系(xi)獲得了碩(shuo)士和本科(ke)學(xue)(xue)(xue)位(wei)(wei)。
她當前研究(jiu)興(xing)趣涵蓋(gai)云計算、分布式機器學習系統、分布式學習算法(fa)以及(ji)用(yong)(yong)于老年護理的(de)智能技術。研究(jiu)特點包括(kuo)使用(yong)(yong)優化和機器學習方法(fa)對(dui)各(ge)種(zhong)(zhong)網絡系統進行性能建模和算法(fa)設計,以及(ji)基于相關方法(fa)的(de)設計和實現(xian)各(ge)種(zhong)(zhong)系統。
15、夏鑫
所(suo)屬單位:華為技術有限公司
獲評(ping)原(yuan)因:對經(jing)驗(yan)軟件工程和用于軟件工程的AI的貢(gong)獻。
夏鑫(xin)是華(hua)為軟(ruan)件工(gong)程應用技(ji)術首席專家。加入華(hua)為之前,曾擔任澳大(da)利(li)亞莫納什大(da)學信息技(ji)術學院ARC DECRA研究(jiu)員和講(jiang)師。2014年他從浙江大(da)學計算機科學與技(ji)術學院獲得博士學位。
為了(le)幫(bang)助開發人員和(he)測試人員提高生產(chan)力,他的(de)(de)當前的(de)(de)研(yan)究(jiu)集中在(zai)軟(ruan)件(jian)工(gong)程的(de)(de)數(shu)(shu)據(ju)(ju)科(ke)學,即挖(wa)掘和(he)分析(xi)軟(ruan)件(jian)倉庫中的(de)(de)豐富數(shu)(shu)據(ju)(ju),以揭(jie)示有(you)趣和(he)可(ke)操作的(de)(de)信(xin)息(xi),他采用(yong)并定制了(le)結(jie)構化(hua)(hua)和(he)非結(jie)構化(hua)(hua)數(shu)(shu)據(ju)(ju)分析(xi)技術(shu)——包括數(shu)(shu)據(ju)(ju)挖(wa)掘、信(xin)息(xi)檢(jian)索(suo)、自然語(yu)言處(chu)理、基于搜索(suo)的(de)(de)算(suan)法和(he)程序(xu)分析(xi)——將被動軟(ruan)件(jian)工(gong)程數(shu)(shu)據(ju)(ju)轉化(hua)(hua)為自動化(hua)(hua)工(gong)具和(he)新見解。
16、Yingfei Xiong
所屬(shu)單位:北京大學
獲評原因:對程(cheng)序修復(fu)和合成的貢獻。
熊英(ying)飛于2009年從日(ri)本東京大學(xue)獲得博士學(xue)位,2009-2011年在加拿大滑(hua)鐵盧(lu)大學(xue)工作(zuo),2012年加入(ru)北京大學(xue),現任新體制長聘副教授、計算機學(xue)院院長助(zhu)理、軟件(jian)研究所副所長。
熊(xiong)英飛的(de)(de)研(yan)究興趣是程序設計語言和(he)(he)軟件工程,特別是程序分(fen)析、合成和(he)(he)修復。他(ta)提出了(le)理論和(he)(he)方法降(jiang)低程序編(bian)寫和(he)(he)缺(que)陷修復的(de)(de)代價(jia)。
他的工(gong)作獲(huo)得MODELS最有影(ying)響論(lun)(lun)文獎,4次(ci)獲(huo)得ACM SIGSOFT杰出論(lun)(lun)文獎。他的工(gong)作也被工(gong)業界采用,比如新一代Linux內核配(pei)置項(xiang)目、燕(yan)云DaaS系統、華為公(gong)司等。
17、Shouhuai Xu?
所屬單位(wei):科羅拉多大學斯普林斯分校
獲(huo)評原(yuan)因:對(dui)網絡安(an)全領域(yu)的貢獻,尤其是網絡韌性。
Shouhuai Xu是科羅拉(la)多(duo)大學斯(si)普林斯(si)分校(xiao)計(ji)算機科學系加洛格利講座教授(shou),是網(wang)絡安全動態實驗(yan)室(LCD)的創始主任(ren),該實驗(yan)室主要研(yan)究網(wang)絡安全動態框架。
18、殷大偉
所屬(shu)單位:百度
獲(huo)評原因(yin):對高(gao)級(ji)搜索引擎(qing)和推薦(jian)系統研究做出的貢(gong)獻(xian)。
殷大偉是(shi)百(bai)度(du)公司的(de)高級工(gong)程總監。他負責(ze)管(guan)理百(bai)度(du)的(de)搜(sou)索(suo)(suo)科學團隊,領(ling)導(dao)百(bai)度(du)在網(wang)頁搜(sou)索(suo)(suo)、檢索(suo)(suo)增強生成、代理、視頻搜(sou)索(suo)(suo)、圖像搜(sou)索(suo)(suo)、新聞搜(sou)索(suo)(suo)等方??面的(de)科學工(gong)作。
他在頂級會議和期刊上發(fa)表(biao)了100多篇研究論(lun)文,并獲得8項最(zui)佳(jia)論(lun)文獎(或亞軍),包括KDD、WSDM、ICDM最(zui)佳(jia)論(lun)文獎。
19、Minlan Yu
所屬單位:哈佛(fo)大(da)學
獲評原因(yin):用(yong)于提高數據中心網絡(luo)效(xiao)率和(he)性能(neng)的開發系統和(he)算法。
Minlan Yu是哈(ha)佛大(da)學(xue)SEAS計算(suan)機科(ke)學(xue)的Gordon McKay教授,研究興趣包(bao)括數(shu)(shu)據網(wang)絡(luo)、分布式系統(tong)、企(qi)業和數(shu)(shu)據中心(xin)網(wang)絡(luo)、網(wang)絡(luo)虛擬(ni)化(hua)和軟件定義網(wang)絡(luo)。
她也(ye)是(shi)SRC/DARPA JUMP 2.0 ACE可(ke)演化計算中心(xin)的(de)助理主任,還與Michael Mitzenmacher教授共同領導了哈佛(fo)系統+理論小(xiao)組。
20、張令明
所屬單位:伊利(li)諾(nuo)伊大學厄巴納(na)-香檳分校
獲評原因:對于軟(ruan)件質量(liang)保(bao)證及其與機器學習的(de)協同作用所做(zuo)的(de)貢獻。
張令明是伊利諾伊大學(xue)厄巴納-香檳分(fen)校計算(suan)機科學(xue)系(xi)的副教授。核心研(yan)究興趣(qu)在于(yu)軟件工程和(he)編(bian)程語言,以及它們與機器學(xue)習的協同(tong)作用。截至目前,他已經發表了100多(duo)篇研(yan)究論文(wen),h指數超過50。
最近,他(ta)的(de)團隊(dui)在基于大(da)語(yu)言模(mo)型的(de)軟件測試(shi)、修復和(he)綜合方面建(jian)立(li)了多(duo)項(xiang)開(kai)(kai)創性技術(shu),在業界(jie)得到廣(guang)泛應用。他(ta)的(de)團隊(dui)還發布了一系(xi)列(lie)具有(you)競(jing)爭力的(de)開(kai)(kai)源代碼大(da)語(yu)言模(mo)型(包括StarCoder2和(he)Magicoder),全球下(xia)載量(liang)超過100萬次。
21、張敏
所(suo)屬單(dan)位:清華大學
獲評原因:對(dui)于(yu)在(zai)信息檢索研(yan)究方面的(de)(de)貢獻,以(yi)及在(zai)期刊(kan)ACM Transactions on Information Systems主(zhu)編職位上(shang)的(de)(de)服(fu)務。
張敏是清華大學(xue)(xue)計(ji)算機(ji)科學(xue)(xue)與技術系(xi)的教授(shou),主(zhu)要從事信息檢(jian)索,個性化推(tui)薦,用戶行(xing)為分析,機(ji)器學(xue)(xue)習(xi)等研究領域。她曾獲得多項(xiang)國(guo)家和行(xing)業(ye)的科技獎勵和榮(rong)譽(yu),發表(biao)了多篇(pian)高(gao)水平的學(xue)(xue)術論文,并擔任過多個國(guo)際和國(guo)內的學(xue)(xue)術組織和會議的職(zhi)務(wu)。
22、張殷乾
所屬單位:南(nan)方(fang)科技大學
獲評原因:對于云計(ji)算(suan)和機密計(ji)算(suan)的(de)側信道安全(quan)所(suo)做的(de)貢(gong)獻。
張(zhang)殷乾是南方科技大學計(ji)算機科學與(yu)工程系教授,在2015年(nian)(nian)-2020年(nian)(nian)底于俄亥俄州立大學計(ji)算機科學與(yu)工程系歷任助理教授、副(fu)教授。
他的研究領(ling)域體系結構安全(quan)、軟件和系統(tong)安全(quan)、分布式(shi)(shi)系統(tong)和應用(yong)安全(quan)、安全(quan)與人(ren)工(gong)智(zhi)能、安全(quan)系統(tong)的形式(shi)(shi)化驗證等(deng)。目標是解決云計算、物(wu)聯網、區塊(kuai)鏈等(deng)關鍵領(ling)域的可信與安全(quan)問題,為數據隱私、智(zhi)能終端、金融(rong)科技、車(che)載系統(tong)等(deng)應用(yong)場景提供技術支持(chi)。
完整(zheng)名單://www.acm.org/media-center/2025/february/distinguished-members-2024