John Edward Hopcroft

职位：中心主任，计算机科学家，中国科学院外籍院士，美国国家科学院院士，美国国家工程院院士，美国艺术与科学院院士，美国康奈尔大学教授，北京大学前沿计算研究中心主任

简介：1986年图灵奖得主，美国理论计算机科学家，美国科学院、工程院及艺术和科学院院士，康奈尔大学终身教授。在算法、数据结构、自动机理论、图论算法方面取得了令世人瞩目的成就。2010年因在形式语言与自动机理论及在理论计算机科学领域的大量开创性的贡献，获IEEE约翰·冯诺依曼奖。出版了多本专著，其中《计算理论》、《数据结构》是计算机领域的标准，《计算机算法设计与分析》、《形式语言与自动机》是计算机领域的经典。他近年来的的研究兴趣为信息的采集与获取、数据挖掘、深度学习。

代表性书籍成果：

[1] John E. Hopcroft, Jeffrey D. Ullman. Formal Languages and Their Relation to Automata. Addison-Wesley, 1969.

[2] Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.

[3] John E. Hopcroft, Jeffrey D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979.

[4] Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman. Data Structures and Algorithms. Addison-Wesley, 1983.

代表性论文成果：

[1] John E. Hopcroft, Richard M. Karp. An n^5/2 algorithm for maximum matchings in bipartite graphs. SIAM Journal on computing, 1973, 2(4): 225-231.

[2] John E. Hopcroft, Robert E. Tarjan. Efficient planarity testing. Journal of the ACM (JACM), 1974, 21(4): 549-568.

[3] John E. Hopcroft, Robert E. Tarjan. Dividing a graph into triconnected components. SIAM Journal on computing, 1973, 2(3): 135-158.

[4] A. Borodin, John E. Hopcroft. Routing, merging and sorting on parallel models of computation. In Proceedings of the fourteenth annual ACM symposium on Theory of computing. 1982: 338-344.

[5] John E. Hopcroft, J.T. Schwartz, M. Sharir. On the Complexity of Motion Planning for Multiple Independent Objects; PSPACE-Hardness of the" Warehouseman's Problem". The International Journal of Robotics Research, 1984, 3(4): 76-88.

何琨

职位：华中科技大学计算机学院教授、智能科学与技术专业负责人，华中卓越学者特聘岗教授，华中科技大学霍普克罗夫特计算科学研究中心执行主任。

简介：中国计算机学会理论专委会副主任，ACM高级会员，IEEE高级会员，CCF杰出会员。

2016-2017学年康奈尔大学工程学院Mary Shepard B. Upson冠名客座教授，2016年入选德国海德堡阿贝尔/菲尔兹/图灵奖基金会全球200名杰出青年学者。主要研究领域包括人工智能安全、图机器学习、深度学习、智能优化等。在领域内主流期刊和会议上发表了200余篇学术论文，包括ICML、NeurIPS、ICLR、CVPR、ACL、AIJ、IJCV、TIFS等，谷歌学术引用量7500余次，2015年以来多次入选AI 2000全球最具影响力学者榜单，并入选2023、2024年全球前2%顶尖科学家榜单。做为华中科技大学牵头人，参与人工智能安全相关的IEEE标准2项。曾获约束与规划国际学术会议CP2021最佳论文奖、SAT可满足性问题2022国际算法竞赛主赛道冠军、MAXSAT最大可满足性问题2024国际算法竞赛非完备组四个赛道冠军等奖项。入选2022年度教育部-华为“智能基座”栋梁之师。所指导的研究生中培养了2名华为天才少年等优秀人才。

代表作：

[1] Shuhuai Ren, Yihe Deng, Kun He, Wanxiang Che. Generating natural language adversarial examples through probability weighted word saliency. In Proceedings of the 57th annual meeting of the association for computational linguistics. 2019.

[2] Jiadong Lin, Chuanbiao Song, Kun He, Liwei Wang, John E. Hopcroft. Nesterov Accelerated Gradient and Scale Invariance for Adversarial Attacks. In Proceedings of the 8th International Conference on Learning Representations, 2020.

[3] Yixuan Li, Kun He, David Bindel, John E. Hopcroft. Uncovering the Small Community Structure in Large Networks: A Local Spectral Approach. In Proceedings of the 24th International Conference on World Wide Web, 2015.

[4] Chuanbiao Song, Kun He, Liwei Wang, John E. Hopcroft. Improving the Generalization of Adversarial Training with Domain Adaptation. In Proceedings of the 7th International Conference on Learning Representations, 2019.

[5] Wenqi Huang, Kun He. A caving degree approach for the single container loading problem. European Journal of Operational Research, 2009, 196(1): 93-101.