电子科大教授Bakhadyr当选欧洲科学院院士 研究方向包括逻辑与计算

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

电子科技大学消息显示，Khoussainov Bakhadyr教授，新西兰皇家学会院士，国家人才计划入选者。现任电子科大计算机科学与工程学院（网络空间安全学院）算法与逻辑实验室负责人。2021年，Khoussainov Bakhadyr加入电子科技大学计算机科学与工程学院（网络空间安全学院），是学院首位全时全职引进的海外院士。

Khoussainov Bakhadyr长期从事理论计算机科学中计算与逻辑领域的研究工作，研究方向包括逻辑与计算，已在理论计算机科学领域发表了160余篇高水平国际期刊/会议论文，主持了包括国家自然科学基金、德国洪堡研究基金、新西兰皇家学会Marsden基金等在内的多个国内外项目。

1988年，欧洲科学院成立，是欧盟的“国家科学院”和法定科学顾问。欧洲科学院的院士包括自然科学、生命科学、社会科学、人文科学等领域的顶级学者，主要在欧洲各国的院士中遴选，代表着欧洲人文和自然科学界最高的科学水平和学术地位。（校对/姜羽桐）