近日，歐洲科學(xué)院院士、以色列耶路撒冷希伯來大學(xué)計算機科學(xué)教授、耶路撒冷希伯來大學(xué)前副校長Orna Kupferman加入亞太人工智能學(xué)會（以下簡稱AAIA)。

1

職業(yè)生涯

Orna Kupferman是耶路撒冷希伯來大學(xué)的計算機科學(xué)教授。她于1995年在以色列理工學(xué)院獲得博士學(xué)位，并于1998年加入耶路撒冷希伯來大學(xué)。她于2005-2007年擔(dān)任計算機科學(xué)系主任，并于2008-2011年擔(dān)任工程學(xué)院院長。

2

主要貢獻

Kupferman院士的研究領(lǐng)域是計算機系統(tǒng)形式驗證和綜合的理論基礎(chǔ)，包括自動機，時間邏輯，定量分析，真空度和覆蓋率。特別是，她以在分支時間模型檢查和合成的自動機理論方法方面的工作而聞名。

Kupferman院士在科學(xué)期刊上發(fā)表了40多篇論文，在國際會議上發(fā)表了140多篇論文。她于2013年主持了IEEE計算機科學(xué)邏輯研討會（LICS），并一直是她所在領(lǐng)域主要會議的主題發(fā)言人，包括LICS，CONCUR，ICALP和TACAS。Kupferman院士是《系統(tǒng)設(shè)計形式方法》和《計算機科學(xué)邏輯方法》期刊的編輯委員會成員。她是ACM Transactions on Computational Logic的主編。

公眾號：人工智能尹會長

亞太人工智能學(xué)會(Asia-Pacific Artificial Intelligence Association)于2021年在香港注冊成立。亞太人工智能學(xué)會(AAIA)是由全球1322位院士自愿組成的學(xué)術(shù)性、非營利性、非政府性組織。

經(jīng)過對全球主流人工智能學(xué)會官網(wǎng)數(shù)據(jù)的統(tǒng)計分析發(fā)現(xiàn)，與同級別的國際人工智能組織相比，亞太人工智能學(xué)會(AAIA)的院士數(shù)量和質(zhì)量都遙遙領(lǐng)先。

尹賽華，現(xiàn)為亞太人工智能學(xué)會教育分會會長，暨南大學(xué)碩士，香港城市大學(xué)EMBA，南方科技大學(xué)、香港理工大學(xué)科技管理學(xué)者（博士在讀）。亞太人工智能學(xué)會教育分會以亞太人工智能學(xué)會的頂級院士資源為優(yōu)勢，為人工智能領(lǐng)域相關(guān)的學(xué)者、企業(yè)家、科技從業(yè)者、教育工作者、個體等提供精準(zhǔn)服務(wù)，為行業(yè)內(nèi)教育培訓(xùn)與認證，新工科建設(shè)（高校合作、人才培養(yǎng)與實驗室建設(shè)等）、咨詢與市場推廣等綜合性服務(wù)賦能，積極發(fā)展行業(yè)會員，打造世界一流的國際人工智能學(xué)會組織。