北理工計算機(jī)學(xué)院邀請新西蘭皇家學(xué)會Bakh Khoussainov教授做客知味講壇
發(fā)布日期：2018-11-21 供稿：計算機(jī)學(xué)院 陳相 攝影：陳相
編輯：林婷 審核：奚英倫 閱讀次數(shù)：
2018年11月16日下午，北理工計算機(jī)學(xué)院知味講壇邀請到本次計算機(jī)科學(xué)與技術(shù)學(xué)科合格評估國際同行專家評審組組長、新西蘭皇家學(xué)會成員Bakh Khoussainov教授在七號樓報告廳作主題為《Games played on finite graphs》的學(xué)術(shù)報告，計算機(jī)學(xué)院黨委副書記、副院長奚英倫，院長助理張子劍出席。報告由奚英倫主持。
Khoussainov教授于1988年獲得了俄羅斯新西伯利亞大學(xué)代數(shù)與邏輯系博士學(xué)位。自1996年以來，他一直在奧克蘭大學(xué)計算機(jī)科學(xué)系工作。他曾在康奈爾大學(xué)擔(dān)任H.C.Wang助理教授，并在芝加哥大學(xué)、威斯康星大學(xué)麥迪遜分校、康奈爾大學(xué)（全美國）、北陸先端科學(xué)技術(shù)大學(xué)院大學(xué)、德國海德堡大學(xué)、新加坡國立大學(xué)、京都大學(xué)擔(dān)任過訪問職位。他在國際會議和研討會上發(fā)表了大約200次演講并受邀會談。他還獲得了馬斯登基金2001-2003，2004-2006，2007-2011和2011-2016期間的研究經(jīng)費(fèi)。他自2005年起擔(dān)任新西蘭皇家學(xué)會會員，2002年擔(dān)任Humboldt研究員，JSPS研究員（2000年，2013年，2015年），以及Aitken 2019年講師。
報告伊始，Khoussainov教授介紹了基于有限圖操作的游戲。該游戲有兩個玩家，玩家沿著有限圖的邊緣交替移動。該游戲可以看作是反應(yīng)系統(tǒng)的理論模型，在現(xiàn)代驗證研究中發(fā)揮著重要作用。在報告中，Khoussainov教授從引出主題，解釋游戲，提供示例和幾個簡單定理的證明這四個方面進(jìn)行了詳細(xì)闡述，還一度與場下聽眾互動游戲，生動直觀地展示了理論的正確，時有問題提出，教授都給出了翔實的解答，會場氣氛融洽。
在最后的問答環(huán)節(jié)中，同學(xué)們紛紛提問，教授進(jìn)行了耐心解答，全場活動結(jié)束后，不少同學(xué)紛紛來到教授身側(cè)，與教授進(jìn)行近距離交流，氣氛熱烈，人群經(jīng)久不散。本次活動以小范圍面對面交流的形式邀請國際專家向同學(xué)做報告獲得了同學(xué)們的一致好評，取得了良好的效果，是計算機(jī)學(xué)院幫助我院學(xué)子求真學(xué)問，練真本領(lǐng)的有力舉措，今后，計算機(jī)學(xué)院將繼續(xù)深化開展此類高水平系列講座，為在新時代培養(yǎng)“胸懷壯志、明德精工、創(chuàng)新包容、時代擔(dān)當(dāng)”的領(lǐng)軍領(lǐng)導(dǎo)人才而不懈努力。
分享到：