Hi, I'm Songtao Mao. I'm currently a Ph.D. student in the Department of Computer Science at Johns Hopkins University, advised by Prof. Xin Li. Prior to this, I earned my Bachelor of Science degree in Mathematics from Zhiyuan College at Shanghai Jiao Tong University. My primary research focus is on theoretical computer science. Previously, I worked on pseudorandomness and coding theory. More recently, my research interests have shifted toward average-case complexity, cryptographic hardness, and the theory of AI safety. In Summer 2025, I visited the University of Illinois Urbana-Champaign, hosted by Fernando Granha Jeronimo. In Summer 2026, I visited Bocconi University, hosted by Alon Rosen. In Fall 2026, I am in the Pseudorandomness & High-Dimensional Expansion program at the Simons Institute for the Theory of Computing.

I am currently looking for postdoctoral or other research positions starting in 2027. Please feel free to contact me about relevant opportunities.

Publications and Manuscripts

Author lists are in alphabetical order unless otherwise specified.

Dmitriy Kunisky, Songtao Mao
Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA), 2027
(by contribution) Zhongchun Zhou, Ya Wang, Chengtao Lai, Songtao Mao, Wei Zhang
arXiv, 2026
Songtao Mao
arXiv, 2026
This work disproves Hopkins's low-degree conjecture (Conjecture 2.2.4).
Shengtang Huang, Xin Li, Songtao Mao, Zhaienhe Zhou
arXiv, 2026
Xin Li, Songtao Mao, Zhaienhe Zhou
Theory of Cryptography Conference (TCC), 2026
Xin Li, Songtao Mao
Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Xue Chen, Kuan Cheng, Xin Li, Songtao Mao
International Computing and Combinatorics Conference (COCOON), 2023
Ka Hin Leung, Shuxing Li, Songtao Mao
Journal of Combinatorial Theory, Series A, 2023
Zhiwei Bai, Xiang Cao, Songtao Mao, Han Zhang, Yuehui Zhang
Frontiers of Mathematics, 2023

Teaching

Teaching Assistant

Theory of Computation
Teaching Assistant, Fall 2023, 2024, 2025
Mathematical Foundations of Computer Science
Teaching Assistant, Spring 2026

Feel free to get in touch with me anytime!