Yizhou Tong

Nantong, Jiangsu Province
Research Interests: Formal Derivation, Automated Reasoning, Physics-Informed AI.

Education

B.S. in Physics, Jilin University

Changchun, Jilin Province
09/2022 - 06/2026
GPA: 81.75/100 Rank: 97/176

Transferred from Clinical Medicine to Physics; completed three years of core physics coursework in two years.

Core Courses:
  • Quantum Mechanics
  • Analytical Mechanics
  • Electrodynamics
  • Statistical Physics
  • Solid State Physics
  • General Relativity & Physical Cosmology
  • Computational Physics
  • Soft Condensed Matter Physics
  • Group Theory (Graduate)
  • Lie Group and Lie Algebra (Graduate)
  • Quantum Field Theory (Graduate)

Researches

Theoretical studies on collinear antiferromagnets with alternating magnetic order

07/2025 - Present

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.

Simulation of Electron Trajectories in Scanning Electron Microscope

09/2025 - Present

Advisor: Zhujun Wang, ShanghaiTech University

  • Modeled the electric potential distribution and electron motion equations. Accelerated the field calculation using CUDA, reducing runtime from hours to minutes.
  • Applied physics-informed neural networks to approximate high-dimensional field distributions for rapid trajectory prediction.

Schlieren Imaging Study of Laser-Induced Liquid Breakdown Plasma, Shock Waves, Cavitation Evolution, and Dynamic High Pressure

09/2024 - 06/2025

Advisor: Zhiwei Meng, Jilin University

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

Engineering

Chichen Technology Co., Ltd.

Chengdu, Sichuan Province
12/2023 - 03/2024

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.
01/2026 - Present

Open-source Contributor

  • Contributing to the development of this C++ language server based on LLVM.

Publications

Awards

  • Third Prize in Provincial High School Informatics Competition, China Computer Federation 2020
  • Second Prize in Provincial High School Physics Competition, Chinese Physical Society 2021
  • Honorable Mention Award in Mathematical Contest in Modeling, Consortium for Mathematics and Its Applications (US) 2025
  • National-Level Completion, Undergraduate Innovation & Entrepreneurship Training Program, Ministry of Education of China 2025

Skills

  • Formalization & Symbolic Systems: Lean 4, SymPy, C++(Compile-time Metaprogramming, P2996/reflex).
  • Systems & High-Performance Computing: C++(Coroutines, P2300/stdexec), Linux(io_uring), CUDA.
  • Machine Learning & Scientific Computing: JAX, PyTorch, VASP(Crystallography), Eigen
  • Languages: Chinese (Native), English (Proficient), French (Basic Reading).

Community Initiatives

Minecraft University Alliance of Jilin

Changchun, Jilin Province
08/2025 - 10/2025
2025 Jilin Province MUA Student Exchange Conference (Report)

Founded and organized inter-university student exchange events involving 8 universities and over 1,000 students.