東北大學計算機學院王義教授入選ACM Fellow

2021-01-18 東北大學新聞網

1月13日，美國計算機協會（Association for Computing Machinery）官網發布公告，公布了2020年當選的95名ACM Fellow，東北大學計算機學院王義教授因在「實時系統的自動分析和驗證方面」取得突出貢獻而成功入選，全球華人12人入選。

王義，歐洲科學院院士，IEEE Fellow，系東北大學計算機科學與工程學院院長、教授。主要從事實時計算機系統建模、設計與驗證研究工作。領導開發的UPPAAL模型檢驗工具已成為實時計算機系統的標準分析工具，被廣泛應用於汽車、通信、航空和航天等領域中電子系統的設計與驗證。領導的研究團隊近年來在實時系統領域提出了一系列重大理論創新成果。王義教授曾獲得國際學術界CAVAward（計算機輔助驗證領域最高獎）和實時系統領域傑出技術成就和領導獎IEEETCRTSAward（實時系統領域最高獎）。

據悉，ACM（Association for Computing Machinery, ACM）是美國計算機協會的簡稱，創立於 1947 年，是全世界計算機領域影響力最大的專業學術組織之一。ACM Fellow 是由該組織授予著名計算機科學家的榮譽，目的是表彰在計算機和信息技術領域取得的傑出成就的學者，其審查過程十分嚴格，每年遴選一次。2020 年，共有 95 人因其在人工智慧、雲計算、計算機圖形學、計算生物學、數據科學、人機互動、軟體工程、理論計算機科學和虛擬實境等領域中做出廣泛和基礎性貢獻入選 ACM Fellow。其中，包括7位圖靈獎得主。

相關焦點

  • 國際計算機協會:ACM Fellow 名單重磅發布!12位華人學者入選
    浙江大學計算機學院副院長，教育部長江學者特聘教授，國家傑出青年科學基金獲得者。他分別於2000年和2004年獲得了新加坡國立大學計算機科學系一等榮譽學士和博士學位。隨後加入昆士蘭大學並於2011年底成為教授。他一直從事最前沿的計算機科學研究，研究方向包括多媒體搜索，計算機視覺，人工智慧，和大數據管理。 入選理由：對大規模多媒體內容的理解、索引和檢索作出貢獻。
  • 7位圖靈獎得主當選,新晉多位華人,2020 ACM Fellow公布
    機器之心報導機器之心編輯部2020 年度的 ACM Fellow 名單已正式公布，共 95 人入選，其中包括陳怡然、周昆、顏水成、王義、呂晨陽等多位華人學者。入選華人姓名：陳怡然（Yiran Chen）機構：杜克大學當選理由：因對非易失性存儲器技術的貢獻而當選個人簡介：陳怡然本科及碩士畢業於清華大學，在美國普渡大學獲得博士學位，現任杜克大學電子與計算機工程系教授、杜克大學計算進化智能中心聯合主任以及美國 NSF 新型可持續智能計算中心主任。
  • 2020年ACM Fellow 名單重磅發布,12 位華人學者入選
    他分別於2000年和2004年獲得了新加坡國立大學計算機科學系一等榮譽學士和博士學位。隨後加入昆士蘭大學並於2011年底成為教授。他一直從事最前沿的計算機科學研究，研究方向包括多媒體搜索，計算機視覺，人工智慧，和大數據管理。
  • 東北大學王義教授被授予IEEE TCRTS傑出技術成就和領導獎
    日前，東北大學計算機科學與工程學院院長、智慧系統國際合作聯合實驗室主任王義教授在第41屆IEEE實時系統領域頂級會議(Real Time System Symposium)上被授予IEEE實時系統技術委員會2019年傑出技術成就和領導獎(IEEE TCRTS Outstanding Technical Achievement and Leadership Award)，並作獲獎主旨報告，報告的主題是
  • 西北工業大學李學龍教授入選2020年 ACM Fellow!
    日前，國際計算機協會（Association for Computing Machinery，簡稱ACM）官網發布公告，宣布2020年當選ACM Fellows的95名成員（含7位圖靈獎獲得者）。西北工業大學李學龍教授入選。李學龍，西北工業大學教授，校學術委員會副主任委員。
  • 2020ACM FELLOW出爐,西工大、電子科大等校教授入選
    周昆是浙江大學計算機學院副院長、浙江大學計算機輔助設計與圖形學國家重點實驗室主任，教育部長江學者特聘教授，國家傑出青年科學基金獲得者，國際電氣電子工程師協會會士（IEEE Fellow）。李學龍是西北工業大學教授、博導。主要關注高維數據的智能獲取、處理和管理之間的關係。在應用系統中發揮作用。在兩個領域入選全球高被引科學家。曾獲得AAAS Fellow和IEEE Fellow。
  • 中國科大李向陽教授當選ACM Fellow
    ，正式在其官網上公布了2019年ACM Fellows名單，中國科學技術大學信息與智能學部常務副部長、計算機科學與技術學院執行院長李向陽教授，因在智能物聯網與移動計算領域所取得的傑出成就和所做出的卓越貢獻，
  • 華工校友入選 2020 國際計算機學會ACM Fellow 名單
    中國教育在線訊 北京時間1 月 14 日，國際計算機學會(ACM)公布了 2020 ACM Fellow 名單，共有 95 位科學家入選，其中有 12 位華人科學家入選。　　華南理工大學計算機科學與工程學院1999屆校友、現任香港中文大學教授陶宇飛入選，成為此次入選ACM Fellows的12位華人學者之一。
  • 電子科大申恆濤教授入選ACM Fellow名單
    電子科技大學計算機科學與工程學院(網絡空間安全學院)申恆濤教授因在大媒體內容理解、索引和搜索方面做出的貢獻當選ACM Fellow。本次中國大陸高校共有4位學者當選，申恆濤教授是中國西部高校首位入選的ACM Fellow。申恆濤教授是電子科技大學計算機科學與工程學院院長、人工智慧研究院執行院長。他分別於2000年和2004年獲得了新加坡國立大學計算機科學系一等榮譽學士和博士學位。
  • 2019 ACM Fellow 名單出爐,中科大、中科院、MSRA科學家入選
    今年，中科院計算技術研究所副所長陳熙霖與中國科學技術大學李向陽教授成為國內機構入選代表。此外，入選 2019 ACM Fellow 的華人代表還有加州大學洛杉磯分校的呂松武教授、加州大學伯克利分校的宋曉東教授、雪梨大學的陶大程教授、加州大學聖塔芭芭拉分校的謝源教授、微軟亞洲研究院副院長周禮棟博士。
  • 這7位圖靈獎得主才入選ACM Fellow,他們可是程式設計師「祖師爺」
    張耀文-臺灣大學入選理由：對EDA算法的貢獻張耀文是臺灣大學電機工程系特聘教授、電機資訊學院院長、IEEE Fellow。他的主要領域是：電子設計自動化（EDA）、集成電路實體設計、集成電路可製造性設計。他也是首位非歐美的IEEE EDA理事會當選主席。
  • 西工大李學龍教授入選2020年 ACM Fellow!光電與智能研究院成立!
    西工大李學龍教授入選2020年 ACM Fellow！光電與智能研究院成立！李學龍教授入選2020年 ACM Fellow日前，國際計算機協會（Association for Computing Machinery，簡稱ACM）官網發布公告，宣布2020年當選ACM Fellows的95名成員（含7位圖靈獎獲得者）。
  • ACM Fellow 2018 名單出爐,6名華人學者入選
    其中，史丹福大學的李飛飛教授等 6 名華人學者入選。本次 ACM Fellow 入選的 6 名華人學者分別是： 李飛飛（Fei-Fei Li）美國史丹福大學李飛飛，美國普林斯頓大學物理學學士，加州理工學院博士，現為美國史丹福大學計算機科學系教授，IEEEE Fellow.當選理由：為機器學習和視覺理解做出貢獻。
  • 葉傑平入選、華人佔4成,2020年ACM傑出科學家榜單出爐
    要入選ACM傑出科學家，要求入選者至少有 15 年的專業經驗，並且在過去10年中至少5年具有ACM專業會員資格。而評選比例，ACM 傑出科學家不超過 ACM 會員的10%。此外ACM共會從三個方面評選出傑出科學家，分別是表彰其在計算機領域中的教育、工程以及科學上的傑出貢獻。
  • 北京大學數學科學學院院友顏水成獲選2020年ACM Fellow
    北京時間2021年1月14日，國際計算機學會（Association for Computing Machinery ,以下簡稱 ACM）公布了2020年新當選會士名單，北京大學數學學院1995級院友顏水成因對可視化內容理解技術和應用的貢獻而被授予國際計算機學會會士（ACM Fellow）榮譽
  • 葉傑平入選、華人佔4成，2020年ACM傑出科學家榜單出爐
    葉傑平，本科就讀於復旦大學數學系，復旦大學畢業後，他前往新加坡國立大學深造，在海外一待就是18年。1999年，葉傑平獲得計算機碩士學位後去了美國，在明尼蘇達大學攻讀計算機博士學位，選的是機器學習方向。博士畢業後，他加入亞利桑那州立大學，工作了9年5個月，從助理教授到了副教授。
  • 2020年ACM FELLOW名單公布!本科校友統計
    紐約時間1月13日，國際計算機協會(Association for Computing Machinery , 簡稱ACM)公布了2020年ACM Fellows的成員名單。據報導共有95位科學家上榜，其中，華人學者佔據12席，分別是杜克大學陳怡然教授，臺灣大學張耀文教授，浙江大學任奎教授，電子科技大學申恆濤教授，香港中文大學陶宇飛教授，浙江大學周昆教授，西北工業大學李學龍教授，加州大學洛杉磯分校Wei Wang教授，德拉瓦大學Cathy H. Wu教授，瑞典烏普薩拉大學王義教授，加州理工學院Steven H.
  • 東北大學顏雲輝教授團隊的研究成果入選國際知名期刊的Popular Articles
    近日，東北大學機械工程與自動化學院顏雲輝教授團隊的研究成果「An End-to-end Steel Surface Defect Detection Approach via Fusing Multiple Hierarchical Features」入選國際儀器儀表類知名期刊《IEEE Transactions on Instrumentation and Measurement》的2020
  • 剛剛,2020 ACM Fellow 名單重磅發布,華南理工陶宇飛校友入選!
    剛剛，2020 ACM Fellow 名單重磅發布，華南理工陶宇飛校友入選！北京時間1 月 14 日，國際計算機學會（ACM）公布了 2020 ACM Fellow 名單，共有 95 位科學家入選，其中有 12 位華人科學家入選。
  • 合肥工業大學汪萌教授當選IEEE Fellow
    安徽網 大皖客戶端訊 11月26日，記者從合肥工業大學了解到，電氣與電子工程師協會(The Institute of Electrical and Electronics Engineers, IEEE)公布了2021 IEEE Fellow名單，該校汪萌教授因在「多媒體內容分析與檢索