Curriculum Vitae
Download PDFEducation · Research · Skills · Honors · Talks · Teaching · Service
Education
Stony Brook University, Stony Brook, NY, USA
Ph.D. in Computer Engineering
Aug 2026 - Present (Incoming)
Nanjing University, Nanjing, China
B.Sc. in Information and Computing Sciences (Computer Science Track)
School of Computer Science
Sept. 2022 - June 2026
Selected through China's Pilot Reform Program of Enrollment for Fundamental Disciplines (强基计划), an elite admissions track for foundational sciences. The Computer Science track of the Information and Computing Sciences program is administered by NJU's School of Computer Science and follows the standard Computer Science curriculum.
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
- Led an empirical and theoretical study of fuzzy operator selection in differentiable logic for neuro-symbolic learning
- First-author manuscript completed; under submission
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-authored a manuscript on quantum memory architectures (work later continued by collaborators)
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)
Invited Talks
- Reinforcement Learning with GRPO: From PPO to Group-Relative Policy Optimization, NJU AIA, 2026
- Building a Neural Network from Scratch with NumPy, NJU AIA, 2025
- Building a Neural Network from Scratch with NumPy, NJU AIA, 2023
Teaching Experience
Guest Lectures:
- Lean4 for Interactive Theorem Proving · Discrete Mathematics, Nanjing University · January 2026
- Network Security & Offensive/Defensive Techniques, Nanjing University · December 2025
Teaching Assistant:
- Introduction to Artificial Intelligence, Nanjing University (Senior Lecturer Ye Tao) · Spring 2026
- 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
- Founder, NJU Artificial Intelligence Association (2023-2025)
- Captain, Trinity CTF Team, Nanjing University (2024-2026)
- Chair, School of Computer Science Student Union, Nanjing University (2024-2025)