[go: up one dir, main page]

Ph.D. Student · Tsinghua University

ZijianZhang

张子健

I build flows around coding agents, so that the agents we already have can carry long, hard work to the finish. I lead Humanize and am a research intern at NVIDIA.

01

About

I am a Ph.D. student in Computer Science at the College of AI, Tsinghua University, and a research intern at NVIDIA in Singapore. Before that I received my B.Eng. in Automation from Tsinghua University.

My work centres on agent flows: the loops, reviewers and runtimes that organise coding agents for long-horizon tasks, from software engineering and machine-learning engineering to olympiad mathematics and formal proofs. I also work on LLM reasoning and efficient inference, and have long been building open-source developer tools.

Agent flowsAgentic codingLLM reasoningEfficient inferenceOpen source
02

News

  1. 2026.10Four papers on Humanize and its flows are out on arXiv: agentic coding, MLE agents, olympiad agents and a Lean formalization of geometrization.
  2. 2026.10Wrote Flow Science: A New Dimension of Scaling Agents.
  3. 2026.08Parason is out on arXiv.
  4. 2026.07Released Humanize, an open-source agent flow system.
  5. 2026.06Joined NVIDIA Singapore as a research intern.
03

Publi­cations

  1. Humanize: Judgement Engineering for Agentic Coding
    Sihao Liu, Ligeng Zhu, Zijian Zhang, Dongyun Zou, Zhengyang Zhang, Changye Li, Song Bian, Song Han, Tony Nowatzki
    arXiv 2026PaperCode
  2. Humanize MLE Agents: Multi-Agent Session Alternation Beyond Single-Agent Limits
    Changye Li, Zijian Zhang, Muheng Li, Yiduo Pang, Tingjun Wu, Menghan Li, Yitong Liu, Hongkai Guo, Mengchi Chen, Chenyu He, Kaisheng Ma, Wei Xu, Song Han, Sihao Liu, Ligeng Zhu
    arXiv 2026Paper
  3. Humanize Olympiad Agents: A Multi-Session Workflow for Olympiad Problem Solving with Solve, Review, Wiki, Verify
    Zhengyang Zhang, Jing Xiong, Hongzhou Lin, Jui-Hui Chung, Zijian Zhang, Song Han, Sihao Liu, Ligeng Zhu
    arXiv 2026Paper
  4. A Lean Formalization of the Hamilton–Perelman Proof of Thurston's Geometrization Conjecture
    Yuan Liao, Ziyang Qin, Jui-Hui Chung, Ayush Khaitan, Zhengyang Zhang, Hongzhou Lin, Zijian Zhang, Ligeng Zhu, Peng Lu, Bennett Chow
    arXiv 2026Paper
  5. Parason: Revealing Subtask and Trial Parallelism in LLM Reasoning
    Zhengyang Zhang, Zijian Zhang, Jiaxuan Gao, Shusheng Xu, Yi Wu, Song Han, Ligeng Zhu
    arXiv 2026Paper
  6. Network-Centric Distributed Tracing with DeepFlow: Troubleshooting Your Microservices in Zero Code
    Junxian Shen, Han Zhang, Yang Xiang, Xingang Shi, Xinrui Li, Yunxi Shen, Zijian Zhang, Yongxiang Wu, Xia Yin, Jilong Wang, Mingwei Xu, Yahui Li, Jiping Yin, Jianchang Song, Zhuofeng Li, Runjie Nie
    ACM SIGCOMM 2023Paper
04

Projects

05

Experience

  1. 2026.06 – nowNVIDIA · Research InternSingapore
  2. 2025.02 – 06NVIDIA · Research InternBeijing
  3. 2024.08 – 25.01Siemens · Associate EngineerBeijing
  4. 2024.06 – 10USC Learning and Interactive Robot Autonomy Lab · Research Intern
    with Prof. Erdem Bıyık
  5. 2023.06 – 24.06Department of Electronic Engineering, Tsinghua University · Research Assistant
    with Prof. Jifeng Dai
  6. 2022.10 – 23.09Yunshan Networks · Cloud Native Research InternBeijing
  7. 2022.03 – 23.06Department of Computer Science and Technology, Tsinghua University · Research Assistant
    with Prof. Jianmin Li
06

Education

  1. 2025 – nowTsinghua University · Ph.D. in Computer Science
    College of AI
  2. 2021 – 2025Tsinghua University · B.Eng. in Automation
    Department of Automation
07

Teaching & Honors

  1. 2025 – nowTeaching Assistant, Institute for Interdisciplinary Information Sciences, Tsinghua University
  2. 2023 – nowTeaching Assistant, Projects Design – Humanoid Soccer Robot, Department of Mechanical Engineering, Tsinghua University
  3. 2024Comprehensive Excellence Scholarship; Friends of Tsinghua – Ningbo Future Star Scholarship, Tsinghua University
  4. 2022, 2023Scholarship for Excellence in Science, Technology and Innovation, Tsinghua University
  5. 2023Second Prize, China Undergraduate Mathematical Contest in Modeling
  6. 2023First Place, Tsinghua University Cyberdog Design Competition