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

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

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

動感約翰·霍普克羅夫特教授：自動機理論、語言和計算導論

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

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

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

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

《自動機理論、語言和計算導論》