Qingdao University
B.Sc. in Physics
– Present
Relevant coursework: Mathematical Methods in Physics, Theoretical Mechanics, Electrodynamics, Quantum Mechanics, and Thermodynamics and Statistical Physics.
About Me
What draws me to physics is the quiet order beneath its equations: the way mathematical structures can gather disparate phenomena into a coherent picture. My path began with programming and robotics, but Mathematical Methods in Physics and the compact elegance of Dirac notation gradually led me toward mathematical physics and quantum computation. I remain curious about emerging directions in engineering and technology, as well as the ways philosophy and education shape how we ask questions and learn.
Education
Internship Experience
TAL Education Group
Teaching and Curriculum Research, Think Academy
Mathematics Competition Programs for Overseas Upper-Elementary Students
–
Shenzhen Institute for Advanced Study, University of Electronic Science and Technology of China
Research Intern, under the supervision of Professor Gang Liu
Research on LLM inference acceleration using GPU–PIM architectures.
– Present
Research
Research Interests
My interests focus on mathematical physics, the formalization of quantum physics, quantum algorithms, and quantum machine learning.
Research Directions
- Physics-informed neural networks (PINN) for the Dirac equation.
- Large language model acceleration and processing-in-memory (PIM) architectures.
Publications
Li Zhuoran, Cao Derang, Kong Xinyi, Li Qiang, Sun Shijia. Physical Analysis and Instructional Design of the Dragon Washbasin Experiment from the Perspective of High-School–University Transition. 物理实验, under review.
Contributions to Physlib
Physlib is an open-source community project for formalizing results from physics in Lean 4. If you are interested in this work or related topics, please feel free to contact me on the Lean Zulip.
#1627 — Gamma endomorphisms of Dirac fermions
Merged PR
Formalized the Clifford action on Dirac fermions as a real-linear map to complex-linear endomorphisms, together with the associated gamma-matrix identities, chirality operator, and chiral projectors.
#1673 — Lift angular momentum to Hilbert space
Merged PR
Lifted quantum angular momentum components from Schwartz maps to densely defined symmetric operators on Hilbert space. Future work will extend this toward L2, self-adjointness, spectral results, ladder operators, and spherical harmonics.
#1679 — Add angular momentum squared and ladder operators
Open PR
Extended the quantum angular momentum API with the Hilbert-space L2 operator, three-dimensional angular momentum components and commutation relations, and raising and lowering operators on the common Schwartz domain.
More
Outside academia, I enjoy strategy games, particularly Teamfight Tactics (TFT).