CV
Ziao Tang
ztang285@connect.hkust-gz.edu.cn
+86 13823222097; +852 62660497
Guangzhou, Guangdong, CN
Summary
PhD student in Artificial Intelligence at The Hong Kong University of Science and Technology (Guangzhou), working on quantum information and computing.
Education
- Artificial IntelligencePresentThe Hong Kong University of Science and Technology (Guangzhou)Courses: Full academic scholarship, Primary Supervisor: Ge Bai, Co-Supervisor: Xin Wang
- Mathematics2025The University of Hong Kong
Skills
Formalized quantum information theory
- Lean 4
- Quantum information theory
- Quantum channels
- Quantum states
Publications
- Classical Capacity and Entanglement Cost of the Amplitude Damping Channel2026arXivTang, Z., Zhu, C., Bai, G., & Wang, X. Cited by OpenAI in its work on Problem 276 (Reference [18]).
- A Sharp Local-Question Threshold for GHZ-Equatorial Completeness in Four-Player XOR Games2026
- Logical Entangling with Phantom Codes in Hypergraph Products2026
- Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory2026arXivZhu, C., Tang, Z., Zhen, G., Cao, Y., Zhao, Y., Chen, R., Zhao, X., Zhang, L., & Wang, X.
- Simulation of adjoints and Petz recovery maps for unknown quantum channels2026
- Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information2026
Presentations
- Simulation of adjoints and Petz recovery maps for unknown quantum channels2026Beyond IID in Information Theory 14CUHK-Shenzhen, ChinaPoster presentation
Teaching
- AIAA 4711: Introduction to Advanced Algorithmic Techniques2026The Hong Kong University of Science and Technology (Guangzhou)Role: Teaching Assistant2025-26 Spring term
Languages
- Mandarin
- English
- Cantonese
- SpanishBeginner
Interests
- Quantum information and computing
- Quantum error correction
- AI for quantum information and computing theory