Scholar

Lei Zhang

Google Scholar ID: _IgM0zQAAAAJ

Ph.D. Student, The Hong Kong University of Science and Technology (Guangzhou)

Quantum informationQuanum computing

Google Scholar↗

Citations & Impact

All-time

Citations

86

H-index

4

i10-index

3

Publications

11

Co-authors

7

list available

Contact

No contact links provided.

Publications

1 items

Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory

2026

Cited

0

Resume (English only)

Co-authors

7 total

Associate Professor, AI Thrust, Hong Kong University of Science and Technology (Guangzhou)

Yu-Ao Chen (陈俣翱)

Research Associate, AI Thrust, Hong Kong University of Science and Technology (Guangzhou)

Ph.D. Candidate, Centre for Quantum Technologies, NUS

Ph.D. Student, The University of Hong Kong