古普塔因在計算方面的杰出成就被任命為ACM院士

2023-01-28 17:34:30 編輯：壽樺筠來源：

導(dǎo)讀計算機協(xié)會(ACM)已任命普林斯頓大學(xué)計算機科學(xué)教授AartiGupta為2017年ACM院士之一，以表彰他對系統(tǒng)分析和驗證技術(shù)及其向工業(yè)實踐的轉(zhuǎn)移做出

計算機協(xié)會(ACM)已任命普林斯頓大學(xué)計算機科學(xué)教授AartiGupta為2017年ACM院士之一，以表彰他對系統(tǒng)分析和驗證技術(shù)及其向工業(yè)實踐的轉(zhuǎn)移做出的貢獻。

今年的課程是由他們的同行從全球超過100,000名ACM會員中選出，以表彰他們在計算機和信息技術(shù)方面的成就，以及他們?yōu)锳CM和更大的計算社區(qū)所做的服務(wù)。

ACM主席VickiHanson說：“被選為院士就是加入我們最著名的會員等級和精英團體，該團體僅占ACM全體會員的不到1%。”“Fellows計劃讓我們能夠了解對計算領(lǐng)域具有里程碑意義的貢獻，以及那些通過不懈努力、奉獻和靈感做出開創(chuàng)性工作、以多種方式改善我們生活的男男女女。”

古普塔和其他53位獲獎?wù)邔⒂?018年6月23日在該集團在舊金山舉行的年度頒獎晚宴上獲得表彰。

標(biāo)簽：

免責(zé)聲明：本文由用戶上傳，如有侵權(quán)請聯(lián)系刪除！