科研学术

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

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

算法与逻辑团队成员

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

Bakh教授给博士生上“计算机科学中的数学基础”课程

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

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