Curriculum Vitae

Download PDF

Education

Nanjing University, Nanjing, China
B.Sc. in Computer Science and Technology
Sept. 2022 - Expected June 2026

Research Experience

Ludwig Maximilian University of Munich
Research Intern
Advisor: Dr. Yao Zhang · Nov 2025 - Present

  • Conducting research on advanced reasoning-based WebAgents with fine-grained RL strategies
  • Designing novel reward modeling mechanisms for RL-based WebAgent systems
  • Exploring image-grounded reasoning and multimodal integration

KRistal Group, Nanjing University
Research Intern
Advisor: Prof. YiZheng Zhao · Oct 2025 - Present

  • Developing a neuro-symbolic reasoning framework combining logical semantics with differentiable modules
  • Exploring meta-learning-based reasoning strategies
  • Building a fuzzy reasoning engine balancing logical faithfulness with computational efficiency

Independent Research
Research Intern
Advisor: Dr. Zhen Han · Jul 2025 - Present

  • Researching reasoning-enhanced reward models for LLMs
  • Designed pipelines combining reject sampling, SFT, and RL for scalable preference alignment
  • Leading experiments on reasoning-guided reward modeling (manuscript in preparation)

ScaleML Lab, University of Illinois Urbana-Champaign
Research Intern
Advisor: Prof. Tong Zhang · Apr 2025 - Jun 2025

  • Built a prototype integrating Lean4/mathlib with LLMs for interactive theorem proving on MiniF2F
  • Designed an interactive workflow with state-based verification and closed-loop refinement
  • Implemented a bidirectional communication pipeline (LLM ↔ Lean4)

Huawei Central Software Institute, 2012 Labs
Research Intern
Supervisor: JianFeng Gui · Jul 2025 - Sept 2025

  • Co-developed a benchmarking system to evaluate reasoning and adaptability of HarmonyOS intelligent agents
  • Contributed to the IntelliOS-agent pipeline and ported Python dependency libraries to HarmonyOS
  • Integrated HDC debugging pipelines with LLM-based reasoning modules

QUEST Lab, NC State University
Research Intern
Advisor: Prof. Yuan Liu · Jul 2024 - Nov 2024

  • Explored quantum memory architectures for quantum machine learning
  • Proposed optimized computational architecture for ML workloads
  • Co-first author manuscript submitted to ISCA 2025

Skills

  • Programming: C/C++, Python (primary); Rust, Java, C#, Lean4, Lua
  • ML/AI: PyTorch, HuggingFace, FSDP, DeepSpeed, Lean4/mathlib
  • Systems: Linux (Arch, Fedora), HPC cluster & distributed training environments
  • Languages: Chinese (native), English (fluent, TOEFL 101), Japanese (intermediate, N4, conversational and reading), German (beginner, conversational)

Honors & Awards

  • National Scholarship, Ministry of Education of China (2025) - Top 0.2% of students
  • First Prize (National Champion), HITCTF 2025 (Antiy Cup) - Ranked 1st nationwide (2025)
  • First Prize, Entropy Cup Cryptography Challenge (CACR) (2025)
  • National Third Prize, China Graduate Information Security Innovation Competition (2024)
  • Special Scholarship for Fundamental Subjects, First Prize (twice) (2022-2024)
  • Outstanding Student Model, Nanjing University (2023-2024)
  • Provincial Award, China College Student Computer Design Competition (2023)

Teaching Experience

Guest Lectures:

  • Introduction to Information and Computing Science, Nanjing University · 2025-2026
  • Network Security & Offensive/Defensive Techniques, Nanjing University · 2025-2026

Teaching Assistant:

  • Cryptography, Nanjing University (Prof. Yuan Zhang) · 2024-2025
  • Introduction to Information and Computing Science, Nanjing University (Prof. Sheng Zhong) · 2023-2024
  • Discrete Mathematics, Nanjing University (Prof. Sheng Zhong) · 2023-2024

Assisted in homework and exam grading, exam preparation, held weekly exercise classes, and provided student support.

Leadership & Service

  • President & Co-founder, NJU Artificial Intelligence Association (2024-2025)
  • Captain, Trinity CTF Team, Nanjing University (2024-2025)
  • Chair, NJU CS School Student Union (2024-2025)