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)
- National First Prize, Entropy Cup (熵密杯) Cryptography Challenge, Chinese Association for Cryptologic Research (2025)
- Outstanding Student Pacesetter (university-level), Nanjing University (2024-2025)
- National Third Prize (Finals), CISCN National College Student Information Security Competition (2025)
- First Prize (Semifinal), National Software System Security Challenge (2025)
- National Third Prize, China Graduate Cybersecurity Innovation Competition (2024)
- Outstanding Student (university-level), Nanjing University (2023-2024)
- Special Scholarship for Fundamental Subjects, First Prize (twice) (2023-2025)
- People's Scholarship (twice) (2023-2025)
- Provincial Award, China College Student Computer Design Competition (2023)
- Outstanding Student (college-level), Freshman College, Nanjing University (2022-2023)
- Outstanding Member, Kaijia College Student Union, Nanjing University (2022-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 & President, NJU Artificial Intelligence Association (AIA) (2023-2025) - established in 2024 by merging the former campus AI association, with the JSAI NJU Branch as its predecessor
- Co-founder, Jiangsu Society of Artificial Intelligence (JSAI), NJU Branch (2023)
- Chair, School of Computer Science Student Union, Nanjing University (2024-2025)
- Chair, Kaijia College Student Union, Nanjing University (2023-2024)
- Head of Science & Technology Innovation Division, Department of Computer Science Student Union, Nanjing University (2023-2024)
- Captain, Trinity CTF Team, Nanjing University (2024-2026)
- President, NJU Phantom Magic Association (2023-2024)
- Academic Commissary, Information and Computing Sciences Program, Nanjing University (2022-2026)