11月18日，教育部部長懷進(jìn)鵬會見了北京大學(xué)訪問講席教授約翰·霍普克羅夫特，北京大學(xué)校長郝平參加會見。

懷進(jìn)鵬對約翰·霍普克羅夫特在計算機(jī)研究領(lǐng)域和教育教學(xué)方面所取得的成就表示贊賞。雙方圍繞提升本科教學(xué)質(zhì)量，優(yōu)化教師培訓(xùn)，完善教學(xué)評價體系，豐富合作伙伴關(guān)系等進(jìn)行了交流。

約翰·霍普克羅夫特是圖靈獎獲得者(1986年)，美國國家藝術(shù)與科學(xué)院、國家工程院、國家科學(xué)院院士，中國科學(xué)院外籍院士，并獲2016年度中國政府友誼獎。現(xiàn)任北京大學(xué)前沿計算研究中心主任。

動感約翰·霍普克羅夫特教授：自動機(jī)理論、語言和計算導(dǎo)論

約翰·霍普克羅夫特系美國康奈爾大學(xué)計算機(jī)系教授，期間曾任計算機(jī)系主任、工學(xué)院院長等職。他在計算機(jī)科學(xué)領(lǐng)域的算法分析、自動機(jī)理論、圖論算法等多個重要方向上做出了奠基性的貢獻(xiàn)，被視為計算機(jī)科學(xué)研究的主要奠基人和先驅(qū)之一。

約翰·霍普克羅夫特教授曾獲計算機(jī)領(lǐng)域內(nèi)“ACM圖靈獎(1986)”、“IEEE馮諾依曼獎?wù)?2010)”、“西蒙雷曼創(chuàng)始人獎(2017)”等多項國際學(xué)術(shù)大獎。獲美國國家工程院院士、美國國家科學(xué)院院士、中國科學(xué)院外籍院士等多個榮譽(yù)稱號。

約翰·霍普克羅夫特教授的研究領(lǐng)域是理論計算機(jī)科學(xué)。上世紀(jì)60年代領(lǐng)銜創(chuàng)立理論計算機(jī)科學(xué)，為計算機(jī)科學(xué)的建立和發(fā)展奠定了堅實(shí)的基礎(chǔ)。70年代提出了漸近分析作為評價算法表現(xiàn)的標(biāo)準(zhǔn)。他在算法設(shè)計方面的著作《The Design and Analysis of Computer Algorithms》和《Formal Languages and Their Relation to Automata》成為計算機(jī)科學(xué)的經(jīng)典教材，深刻影響了計算機(jī)科技工作者對算法的理解和應(yīng)用。近年來，他積極探索并指出計算機(jī)科學(xué)的前瞻發(fā)展方向，在機(jī)器學(xué)習(xí)、并行計算和社會復(fù)雜網(wǎng)絡(luò)方面開展研究工作，做出了系列重要貢獻(xiàn)。

配圖說明：教授與夫人  配圖來自北京大學(xué)  

《自動機(jī)理論、語言和計算導(dǎo)論》