英国皇家工程院院士Philippa Gardner加入亚太人工智能学会！

近日，英国皇家工程院院士、帝国理工学院计算机系教授Philippa Gardner院士加入亚太人工智能学会（以下简称AAIA)。

1

职业生涯

Philippa Gardner于1965年7月29日出生于英国德文郡埃克塞特。1992年，她的博士研究由爱丁堡大学的戈登·普洛特金指导，获得哲学博士学位。她于2001年在伦敦帝国理工学院担任讲师，并于2009年成为教授。2005年至2009年，她在帝国理工学院获得了微软剑桥研究院/皇家工程学院高级奖学金。2020年，她当选为英国皇家工程院院士。

2

主要贡献

菲利帕·加德纳（Philippa Gardner）院士于2018年至2023年获得英国研究与创新奖学金。她的研究重点是程序规范和验证。特别是，她的团队被认为带来了逻辑抽象和逻辑原子性 现代并发分离逻辑，目前正在开发 Gillian 用于为现实世界编程语言（如 C 和 JavaScript）构建符号分析工具的平台，它统一了经典的符号执行， 基于分离逻辑的半自动验证和基于成分的自动测试 关于双綁。

菲利帕院士指导可验证可信软件系统研究所（VeTSS）， 由EPSRC和NCSC资助，2017-2022。她也是2022 年艾萨克·牛顿研究所为期六周的“经过验证的软件”暑期课程的组织者。

亚太人工智能学会(Asia-Pacific Artificial Intelligence Association)于2021年在香港注册成立。亚太人工智能学会(AAIA)是由全球1063位院士自愿组成的学术性、非营利性、非政府性组织。亚太人工智能学会(AAIA)的会士来自于斯坦福大学、普林斯顿大学、麻省理工学院、加州理工学院、康奈尔大学、哥伦比亚大学、牛津大学、帝国理工学院、多伦多大学、滑铁卢大学、墨尔本大学、悉尼大学、南洋理工大学、新加坡国立大学、北京大学、清华大学、浙江大学、上海交通大学等大学，以及来自于谷歌、微软、IBM、阿里巴巴、华为、京东等高科技公司的人工智能相关领域的世界顶级科学家。

亚太人工智能学会(AAIA)会士包括各国院士(如美国科学院院士、美国工程院院士、欧洲科学院院士、中国科学院院士、中国工程院院士、加拿大工程院院士、英国皇家工程院院士、新加坡工程院院士等)、国际电子电气工程师学会会士(IEEE Fellow)、国际计算机学会会士(ACM Fellow)、国际人工智能促进会会士(AAAI Fellow)、国际模式识别协会会士(IAPR Fellow)等。

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

亚太人工智能学会基础教育分会是以世界级组织亚太人工智能学会（AAIA）为依托的社会性组织。亚太人工智能学会基础教育分会（以下简称分会）汇聚全球人工智能相关领域的顶级科学家、教育家、企业家等优质人才资源，秉持“普及AI教育，链接世界精英”的理念，致力于推动世界人工智能基础教育的普及，链接教育界、产业界和金融界，整合社会资源，推动三界深度融合。分会以亚太人工智能学会的顶级院士资源为优势，为人工智能领域相关的学者、企业家、科技从业者、教育工作者、个体等提供精准服务，为行业内教育培训与认证，项目开发，新工科建设（高校合作、人才培养与实验室建设等）、咨询与市场推广、研学与游学、科技竞赛等综合性服务赋能，积极发展行业会员，打造世界一流的国际人工智能学会组织。