avatar

Jiatu Li

Graduate student at MIT CSAIL working on complexity theory and mathematical logic

I am Jiatu Li (李嘉图), a second-year graduate student at MIT theory group, advised by Ryan Williams. Before that, I was an undergraduate student at "Yao Class", Institute for Interdisciplinary Information Science (IIIS), Tsinghua University, during which I worked with Igor C. Oliveira at Warwick and Yilei Chen at Tsinghua University.

My research focuses on proving intrinsic hardness of computation (i.e. circuit complexity), proof systems (i.e. proof complexity), and understanding why this research direction is so hard (i.e. meta-complexity).

As complexity theorists, our mission is to liberate the warriors trying to solve inherently hard problems. Sometimes we can use their stories to alleviate insomnia for cryptographers (see, e.g., Cryptographers Seldom Sleep Well).

Recently, I am interested in the following concrete directions:

I am also interested in writing formal (i.e. computer verified) mathematical proofs in Coq and Lean (see logic). Although it seems to be incredible nowadays, I believe that proof assistants will eventually be able to help mathematicians in their research (if mathematicians are not completely replaced by something like GPT-256, see, e.g., ChatGPT).

Selected Publication

  • Reverse Mathematics of Complexity Lower Bounds. FOCS 2024 (to appear), invited to SICOMP special issue. Lijie Chen, Jiatu Li, Igor C. Oliveira.
  • The Exact Complexity of Pseudorandom Functions and the Black-Box Natural Proof Barrier for Bootstrapping Results in Computational Complexity. STOC 2022 (Best Student Paper). Zhiyuan Fan, Jiatu Li, Tianqi Yang.