北理工計(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ó)際同行專(zhuān)家評(píng)審組組長(zhǎng)、新西蘭皇家學(xué)會(huì)成員Bakh Khoussainov教授在七號(hào)樓報(bào)告廳作主題為《Games played on finite graphs》的學(xué)術(shù)報(bào)告，計(jì)算機(jī)學(xué)院黨委副書(shū)記、副院長(zhǎng)奚英倫，院長(zhǎng)助理張子劍出席。報(bào)告由奚英倫主持。
Khoussainov教授于1988年獲得了俄羅斯新西伯利亞大學(xué)代數(shù)與邏輯系博士學(xué)位。自1996年以來(lái)，他一直在奧克蘭大學(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ò)訪問(wè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)下聽(tīng)眾互動(dòng)游戲，生動(dòng)直觀地展示了理論的正確，時(shí)有問(wèn)題提出，教授都給出了翔實(shí)的解答，會(huì)場(chǎng)氣氛融洽。
在最后的問(wèn)答環(huán)節(jié)中，同學(xué)們紛紛提問(wèn)，教授進(jìn)行了耐心解答，全場(chǎng)活動(dòng)結(jié)束后，不少同學(xué)紛紛來(lái)到教授身側(cè)，與教授進(jìn)行近距離交流，氣氛熱烈，人群經(jīng)久不散。本次活動(dòng)以小范圍面對(duì)面交流的形式邀請(qǐng)國(guó)際專(zhuān)家向同學(xué)做報(bào)告獲得了同學(xué)們的一致好評(píng)，取得了良好的效果，是計(jì)算機(jī)學(xué)院幫助我院學(xué)子求真學(xué)問(wèn)，練真本領(lǐng)的有力舉措，今后，計(jì)算機(jī)學(xué)院將繼續(xù)深化開(kāi)展此類(lèi)高水平系列講座，為在新時(shí)代培養(yǎng)“胸懷壯志、明德精工、創(chuàng)新包容、時(shí)代擔(dān)當(dāng)”的領(lǐng)軍領(lǐng)導(dǎo)人才而不懈努力。
分享到：