近日，歐洲人文和自然科學(xué)院（AcademiaEuropaea，簡稱“歐洲科學(xué)院”）發(fā)布2023年新增院士名單，電子科技大學(xué)計算機科學(xué)與工程學(xué)院（網(wǎng)絡(luò)空間安全學(xué)院）KhoussainovBakhadyr教授當(dāng)選。

KhoussainovBakhadyr教授，新西蘭皇家學(xué)會院士，國家人才計劃入選者?，F(xiàn)任電子科技大學(xué)計算機科學(xué)與工程學(xué)院（網(wǎng)絡(luò)空間安全學(xué)院）算法與邏輯實驗室負責(zé)人。

算法與邏輯團隊成員

KhoussainovBakhadyr教授長期從事理論計算機科學(xué)中計算與邏輯領(lǐng)域的研究工作，研究方向包括邏輯與計算，已在理論計算機科學(xué)領(lǐng)域發(fā)表了160余篇具有國際影響力的高水平國際期刊/會議論文，其卓越的學(xué)術(shù)成就得到國際學(xué)術(shù)界的廣泛認可，于2021年獲得NerodePrize，2019年獲得德國洪堡研究獎，2017年榮獲STOC會議最佳論文獎（STOC在整個計算機科學(xué)領(lǐng)域享有崇高聲望）。2002年獲得新西蘭數(shù)學(xué)學(xué)會研究獎，2019年獲得倫敦數(shù)學(xué)學(xué)會與新西蘭數(shù)學(xué)學(xué)會聯(lián)合授予的唯一AitkenLecturer稱號。

KhoussainovBakhadyr教授于2021年全時全職加入電子科技大學(xué)計算機科學(xué)與工程學(xué)院（網(wǎng)絡(luò)空間安全學(xué)院），是學(xué)院首位全時全職引進的海外院士?，F(xiàn)已組建了一支6人規(guī)模“小而精”的研究團隊，其中團隊成員50%為外籍學(xué)者。主持了包括國家自然科學(xué)基金、德國洪堡研究基金、新西蘭皇家學(xué)會Marsden基金等在內(nèi)的多個國內(nèi)外項目。

歐洲人文和自然科學(xué)院（簡稱“歐洲科學(xué)院”）是歐盟的“國家科學(xué)院”和法定科學(xué)顧問，由英國皇家學(xué)會與歐洲各國的國家科學(xué)院共同發(fā)起并于1988年成立，總部位于英國倫敦。作為國際上跨地域和學(xué)術(shù)領(lǐng)域最廣泛、學(xué)術(shù)地位最高、影響最大的科學(xué)組織之一，歐洲科學(xué)院的院士包括自然科學(xué)、生命科學(xué)、社會科學(xué)、人文科學(xué)等領(lǐng)域的頂級學(xué)者，主要在歐洲各國的院士中遴選，代表著歐洲人文和自然科學(xué)界最高的科學(xué)水平和學(xué)術(shù)地位。