Yizhou Tong

Advisor: Hongjian Zhao, Jilin University

• Established a theory based on spin point groups for spin orientation tendency polarization, providing predictability for subsequent material screening.
• Developed SPG, a Lean 4 symmetry-analysis library, to formalize the algebraic structures of crystallographic groups and verify symmetry-protected constraints.

Advisor: Zhiwei Meng, Jilin University

• Built and calibrated experimental optical setups and developed image analysis pipelines for spectral data processing.

Software Engineer (Part-time)

• Implemented high-performance asynchronous full-duplex communication systems based on UDP.
• Developed real-time video streaming pipelines by integrating DJI SDK interfaces.

Core Developer

• Architected a document generator that unites LLVM/Clang compiler infrastructure with LLM-based agents, enabling autonomous C++ codebase exploration and documentation generation.
• Implemented high-performance AST analysis and concurrent LLM orchestration pipelines in modern C++26, leveraging template metaprogramming and coroutines.