CV

Education

Ph.D in Version Control Theory, GitHub University, 2018 (expected)
M.S. in Jekyll, GitHub University, 2014
B.S. in GitHub, GitHub University, 2012

Work experience

Spring 2024: Academic Pages Collaborator
- GitHub University
- Duties includes: Updates and improvements to template
- Supervisor: The Users
Fall 2015: Research Assistant
- GitHub University
- Duties included: Merging pull requests
- Supervisor: Professor Hub
Summer 2015: Research Assistant
- GitHub University
- Duties included: Tagging issues
- Supervisor: Professor Git

Skills

Skill 1
Skill 2
- Sub-skill 2.1
- Sub-skill 2.2
- Sub-skill 2.3
Skill 3

Publications

Identity Testing for Circuits with Exponentiation Gates

Jiatu Li, Mengdi Wu. Identity Testing for Circuits with Exponentiation Gates. ITCS, 2026.

On the Unprovability of Circuit Size Bounds in Intuitionistic $S^1_2$

Lijie Chen, Jiatu Li, Igor C. Oliveira. On the Unprovability of Circuit Size Bounds in Intuitionistic $S^1_2$. LMCS, 2025, Volume 21, Issue 3.

Maximum Circuit Lower Bounds for Exponential-Time Arthur Merlin

Lijie Chen, Jiatu Li, Jingxun Liang. Maximum Circuit Lower Bounds for Exponential-Time Arthur Merlin. STOC, 2025.

The Structure of Catalytic Space: Capturing Randomness and Time via Compression

James Cook, Jiatu Li, Ian Mertz, Edward Pyne. The Structure of Catalytic Space: Capturing Randomness and Time via Compression. STOC, 2025.

Reverse Mathematics of Complexity Lower Bounds

Lijie Chen, Jiatu Li, Igor C. Oliveira. Reverse Mathematics of Complexity Lower Bounds. FOCS, 2024.

Distinguishing, Predicting, and Certifying: On the Long Reach of Partial Notions of Pseudorandomness

Jiatu Li, Edward Pyne, Roei Tell. Distinguishing, Predicting, and Certifying: On the Long Reach of Partial Notions of Pseudorandomness. FOCS, 2024.

Hardness of Range Avoidance and Remote Point for Restricted Circuits via Cryptography

Yilei Chen, Jiatu Li. Hardness of Range Avoidance and Remote Point for Restricted Circuits via Cryptography. STOC, 2024.

Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic

Jiatu Li, Igor C. Oliveira. Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic. STOC, 2023.

Indistinguishability Obfuscation, Range Avoidance, and Bounded Arithmetic

Rahul Ilango, Jiatu Li, Ryan Williams. Indistinguishability Obfuscation, Range Avoidance, and Bounded Arithmetic. STOC, 2023.

Range Avoidance, Remote Point, and Hard Partial Truth Tables via Satisfying-Pairs Algorithms

Yeyuan Chen, Yizhi Huang, Jiatu Li, Hanlin Ren. Range Avoidance, Remote Point, and Hard Partial Truth Tables via Satisfying-Pairs Algorithms. STOC, 2023.

Extremely Efficient Constructions of Hash Functions, with Applications to Hardness Magnification and PRFs

Lijie Chen, Jiatu Li, Tianqi Yang. Extremely Efficient Constructions of Hash Functions, with Applications to Hardness Magnification and PRFs. CCC, 2022.

The Exact Complexity of Pseudorandom Functions and the Black-Box Natural Proof Barrier for Bootstrapping Results in Computational Complexity

Zhiyuan Fan, Jiatu Li, Tianqi Yang. The Exact Complexity of Pseudorandom Functions and the Black-Box Natural Proof Barrier for Bootstrapping Results in Computational Complexity. STOC, 2022.

3.1n-o(n) Circuit Lower Bounds for Explicit Functions

Jiatu Li, Tianqi Yang. 3.1n-o(n) Circuit Lower Bounds for Explicit Functions. STOC, 2022.

Jiatu Li

CV