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

電子科技大學(xué)消息顯示，Khoussainov Bakhadyr教授，新西蘭皇家學(xué)會院士，國家人才計劃入選者?，F(xiàn)任電子科大計算機(jī)科學(xué)與工程學(xué)院（網(wǎng)絡(luò)空間安全學(xué)院）算法與邏輯實驗室負(fù)責(zé)人。2021年，Khoussainov Bakhadyr加入電子科技大學(xué)計算機(jī)科學(xué)與工程學(xué)院（網(wǎng)絡(luò)空間安全學(xué)院），是學(xué)院首位全時全職引進(jìn)的海外院士。

Khoussainov Bakhadyr長期從事理論計算機(jī)科學(xué)中計算與邏輯領(lǐng)域的研究工作，研究方向包括邏輯與計算，已在理論計算機(jī)科學(xué)領(lǐng)域發(fā)表了160余篇高水平國際期刊/會議論文，主持了包括國家自然科學(xué)基金、德國洪堡研究基金、新西蘭皇家學(xué)會Marsden基金等在內(nèi)的多個國內(nèi)外項目。

1988年，歐洲科學(xué)院成立，是歐盟的“國家科學(xué)院”和法定科學(xué)顧問。歐洲科學(xué)院的院士包括自然科學(xué)、生命科學(xué)、社會科學(xué)、人文科學(xué)等領(lǐng)域的頂級學(xué)者，主要在歐洲各國的院士中遴選，代表著歐洲人文和自然科學(xué)界最高的科學(xué)水平和學(xué)術(shù)地位。（校對/姜羽桐）