John Hopcroft 约翰·霍普克罗夫特

主要奖项及荣誉

1986 年，图灵奖

2010 年，电气电子工程师学会约翰·冯·诺伊曼奖章

2016 年，中国政府友谊奖

2017 年，中国科学院外籍院士

教育与工作经历

1964 年，斯坦福大学 工程博士

1972 年至今，康奈尔大学计算机科学学院 教授

1994-2001 年，康奈尔大学工程学院 院长

2004 年至今，康奈尔大学计算机科学院工程与应用数学系 IBM 教授

主要学术成就

霍普克罗夫特教授探索了在计算机中存储数据的有效结构，并创建了解决这些数据所代表的问题的有效算法。这项工作，在当时是既新鲜又令人兴奋的，现在也成了标准的计算机科学课程的一部分。他在形式语言和算法分析方面的工作使霍普克罗夫特成为建立这门学科在坚实的理论基础上、少数先驱计算机科学家之一。他合著的关于形式语言及其与自动机的关系，以及算法设计和分析的著作成为了一代计算机科学家的标准。他目前的工作再次使用图形模型，以探索跟踪社交网络和构建未来搜索引擎的新方法。