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