电子科技大学计算机科学与工程学院（网络空间安全学院）教授当选欧洲科学院院士...

最新推荐文章于 2025-12-03 13:28:35 发布

转载最新推荐文章于 2025-12-03 13:28:35 发布 · 322 阅读

CC 4.0 BY-SA版权

原文链接：https://mp.weixin.qq.com/s?__biz=MzU2ODAzNTMyMg==&mid=2247577342&idx=2&sn=2909a3f5114bc9a36028045fdd4ca7c3&chksm=fc97fc6bcbe0757d0eb16f196c5feb0a2c71597182ba7f3fb64ae3342c0abfbda660f4868f80&scene=126&sessionid=0

文章标签：

#安全 #人工智能

电子科技大学计算机科学与工程学院的KhoussainovBakhadyr教授当选欧洲人文和自然科学院院士。他是一位新西兰皇家学会院士，专注于理论计算机科学的研究，特别是在逻辑与计算领域，拥有多项国际荣誉和奖项。教授于2021年加入电子科技大学，并领导一个6人的研究团队，主持多个国内外科研项目。

近日，欧洲人文和自然科学院（Academia Europaea，简称“欧洲科学院”）发布2023年新增院士名单，电子科技大学计算机科学与工程学院（网络空间安全学院）Khoussainov Bakhadyr教授当选。

Khoussainov Bakhadyr教授，新西兰皇家学会院士，国家人才计划入选者。现任电子科技大学计算机科学与工程学院（网络空间安全学院）算法与逻辑实验室负责人。

Khoussainov Bakhadyr教授长期从事理论计算机科学中计算与逻辑领域的研究工作，研究方向包括逻辑与计算，已在理论计算机科学领域发表了160余篇具有国际影响力的高水平国际期刊/会议论文，其卓越的学术成就得到国际学术界的广泛认可，于2021年获得Nerode Prize，2019年获得德国洪堡研究奖，2017年荣获STOC会议最佳论文奖（STOC在整个计算机科学领域享有崇高声望）。2002年获得新西兰数学学会研究奖，2019年获得伦敦数学学会与新西兰数学学会联合授予的唯一Aitken Lecturer称号。

Khoussainov Bakhadyr教授于2021年全时全职加入电子科技大学计算机科学与工程学院（网络空间安全学院），是学院首位全时全职引进的海外院士。现已组建了一支6人规模“小而精”的研究团队，其中团队成员50%为外籍学者。主持了包括国家自然科学基金、德国洪堡研究基金、新西兰皇家学会Marsden基金等在内的多个国内外项目。

欧洲人文和自然科学院（简称“欧洲科学院”）是欧盟的“国家科学院”和法定科学顾问，由英国皇家学会与欧洲各国的国家科学院共同发起并于1988年成立，总部位于英国伦敦。作为国际上跨地域和学术领域最广泛、学术地位最高、影响最大的科学组织之一，欧洲科学院的院士包括自然科学、生命科学、社会科学、人文科学等领域的顶级学者，主要在欧洲各国的院士中遴选，代表着欧洲人文和自然科学界最高的科学水平和学术地位。

来源：电子科技大学。