欧洲科学院院士、希伯来大学计算机科学教授Orna Kupferman加入亚太人工智能学会

近日，欧洲科学院院士、以色列耶路撒冷希伯来大学计算机科学教授、耶路撒冷希伯来大学前副校长Orna Kupferman加入亚太人工智能学会（以下简称AAIA)。

1

职业生涯

Orna Kupferman是耶路撒冷希伯来大学的计算机科学教授。她于1995年在以色列理工学院获得博士学位，并于1998年加入耶路撒冷希伯来大学。她于2005-2007年担任计算机科学系主任，并于2008-2011年担任工程学院院长。

2

主要贡献

Kupferman院士的研究领域是计算机系统形式验证和综合的理论基础，包括自动机，时间逻辑，定量分析，真空度和覆盖率。特别是，她以在分支时间模型检查和合成的自动机理论方法方面的工作而闻名。

Kupferman院士在科学期刊上发表了40多篇论文，在国际会议上发表了140多篇论文。她于2013年主持了IEEE计算机科学逻辑研讨会（LICS），并一直是她所在领域主要会议的主题发言人，包括LICS，CONCUR，ICALP和TACAS。Kupferman院士是《系统设计形式方法》和《计算机科学逻辑方法》期刊的编辑委员会成员。她是ACM Transactions on Computational Logic的主编。

公众号：人工智能尹会长

亚太人工智能学会(Asia-Pacific Artificial Intelligence Association)于2021年在香港注册成立。亚太人工智能学会(AAIA)是由全球1322位院士自愿组成的学术性、非营利性、非政府性组织。

经过对全球主流人工智能学会官网数据的统计分析发现，与同级别的国际人工智能组织相比，亚太人工智能学会(AAIA)的院士数量和质量都遥遥领先。

尹赛华，现为亚太人工智能学会教育分会会长，暨南大学硕士，香港城市大学EMBA，南方科技大学、香港理工大学科技管理学者（博士在读）。亚太人工智能学会教育分会以亚太人工智能学会的顶级院士资源为优势，为人工智能领域相关的学者、企业家、科技从业者、教育工作者、个体等提供精准服务，为行业内教育培训与认证，新工科建设（高校合作、人才培养与实验室建设等）、咨询与市场推广等综合性服务赋能，积极发展行业会员，打造世界一流的国际人工智能学会组织。