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

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

算法與邏輯團(tuán)隊(duì)成員

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

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

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