11月23日消息，中國(guó)科學(xué)院新增一名外籍院士，他就是圖靈獎(jiǎng)得主John Hopcroft。這也是中國(guó)科學(xué)院繼姚期智（唯一的華人圖靈獎(jiǎng)獲得者）之后的第二位得過(guò)圖靈獎(jiǎng)的院士。

John Hopcroft（約翰·E·霍普克洛夫），是美國(guó)康奈爾大學(xué)智能機(jī)器人實(shí)驗(yàn)室主任、計(jì)算機(jī)科學(xué)系工程與應(yīng)用數(shù)學(xué)的IBM教授，世界計(jì)算機(jī)科學(xué)最高獎(jiǎng)圖靈獎(jiǎng)獲得者，美國(guó)國(guó)家科學(xué)院和工程院院士。

早在2011年初，John Hopcroft就受到中華人民共和國(guó)外國(guó)專家局的邀請(qǐng)，來(lái)到中國(guó)幫助中國(guó)高等院校計(jì)算機(jī)學(xué)科建設(shè)以及人才培養(yǎng)的相關(guān)工作。2011年5月底，上海交通大學(xué)校長(zhǎng)張杰院士邀請(qǐng)Hopcroft到上海交大訪問(wèn)計(jì)算機(jī)系，并與致遠(yuǎn)學(xué)院學(xué)生進(jìn)行交流。此次訪問(wèn)給他留下了深刻印象，他承諾從當(dāng)年12月起來(lái)給致遠(yuǎn)學(xué)生開設(shè)計(jì)算機(jī)課程，同時(shí)幫助交大計(jì)算機(jī)學(xué)科整體建設(shè)。

2015年1月，Hopcroft獲得了國(guó)家外專局批準(zhǔn)的“高端外國(guó)專家項(xiàng)目”，使得他可以以更高的參與度投身整個(gè)中國(guó)計(jì)算機(jī)學(xué)科的發(fā)展的偉大事業(yè)中。  

在今年的5月16日下午，北京大學(xué)計(jì)算機(jī)系的張銘教授在微博中透露，John Hopcroft教授加入北京大學(xué)，擔(dān)任北京大學(xué)前沿計(jì)算科學(xué)中心主任。并開設(shè)“圖靈班”面向2016級(jí)計(jì)算機(jī)學(xué)科（包括計(jì)算機(jī)科學(xué)技術(shù)系和智能科學(xué)系）本科生招收首屆“圖靈班”學(xué)員。

John Hopcroft院士來(lái)到中國(guó)的七年時(shí)間，對(duì)國(guó)內(nèi)多所高校的計(jì)算機(jī)學(xué)科發(fā)展做出了非常大的貢獻(xiàn)。他不僅利用自己在美國(guó)學(xué)術(shù)圈的人脈引進(jìn)多名國(guó)際頂尖計(jì)算機(jī)專家來(lái)到中國(guó)高校任教 ，同時(shí)還在自己年近八十高齡的情況下，堅(jiān)持給北大本科生上課。此次成功評(píng)選為中國(guó)科學(xué)院外籍院士，也是對(duì)他長(zhǎng)期對(duì)中國(guó)教育事業(yè)嘔心瀝血的回報(bào)，祝賀John Hopcroft院士！

附John Hopcroft院士個(gè)人經(jīng)歷：

1961年在西雅圖大學(xué)獲得電氣工程學(xué)士學(xué)位。

1962年在斯坦福大學(xué)獲得電子工程碩士學(xué)位，964年獲得博士學(xué)位。研究方向主要是計(jì)算機(jī)科學(xué)理論，為評(píng)價(jià)算法可觀的判斷標(biāo)準(zhǔn)提出了算法最壞情況下的鑒定算法。他的深入算法是計(jì)算機(jī)科學(xué)的經(jīng)典教材，也因此被譽(yù)為算法大師。

1964－1967年在普林斯頓大學(xué)擔(dān)任助理教授。此后基本上一直在康奈爾大學(xué)工作，先后擔(dān)任工學(xué)院教授、貝爾實(shí)驗(yàn)室顧問(wèn)等。

1994－2001年擔(dān)任康奈爾大學(xué)工學(xué)院院長(zhǎng)。

1986年因?yàn)樵跀?shù)據(jù)結(jié)構(gòu)和算法設(shè)計(jì)與分析領(lǐng)域的重要的基礎(chǔ)性的貢獻(xiàn)而獲得圖靈獎(jiǎng)。

1992－1998年被美國(guó)總統(tǒng)布什指定為監(jiān)督國(guó)家科學(xué)基金會(huì)的國(guó)家科學(xué)委員會(huì)成員。

2005年獲得IEEE哈里·古德紀(jì)念獎(jiǎng)。

2007年獲得計(jì)算機(jī)研究協(xié)會(huì)的杰出貢獻(xiàn)獎(jiǎng)。

著作有《算法設(shè)計(jì)與分析基礎(chǔ)》、《 數(shù)據(jù)結(jié)構(gòu)與算法》、《自動(dòng)機(jī)理論、語(yǔ)言和計(jì)算導(dǎo)論》、《形式語(yǔ)言及其與自動(dòng)機(jī)的關(guān)系》等。