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年入选德国海德堡阿贝尔/菲尔兹/图灵奖基金会全球200名杰出青年学者。2016-2017学年被聘为康奈尔大学工程学院Mary Shepard B. Upson冠名客座教授。主持多项国家自然科学项目和省部级项目，获得湖北省科技进步一等奖、约束规划原理与实践国际会议CP2021最佳论文奖等奖项。受邀担任了NeurIPS、ICML、ICLR、CVPR等十余个CCF A/B类权威会议的程序委员会委员、IJCAI 2021高级程序委员会委员和IEEE TPAMI、IEEE TKDE等权威学术期刊的审稿人，为CCF全国理论计算机科学学术年会2017-2020程序委员会共同主席。

代表作：

[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.