About Me

I am a postdoctoral research associate at the School of Informatics, University of Edinburgh, hosted by Chris Heunen and Robin Kaarsgaard. I received my Ph.D. from the Institute of Software, Chinese Academy of Sciences in 2024, where I was fortunate to be supervised by Prof. Mingsheng Ying.

I am currently seeking academic positions, see my CV here.

Research Interests

• Quantum computing
• Quantum programming languages, including verification and analysis
• Techniques for classical simulation of quantum circuits

Selected Publications

• Hadamard-Pi: Equational Quantum Programming

  Wang Fang, Chris Heunen, Robin Kaarsgaard

  POPL 2026 [DOI] [arXiv]
• Verifying Fault-Tolerance of Quantum Error Correction Codes

  Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert Schmitz, Steve Zdancewic, Gushu Li

  CAV 2025 [DOI] [arXiv] [Code]
• SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits

  Wang Fang, Mingsheng Ying

  DAC 2024 [DOI] [arXiv] [Code]
• Symbolic Execution for Quantum Error Correction Programs

  Wang Fang, Mingsheng Ying

  PLDI 2024 [DOI] [arXiv] [Code]
• Differentiable Quantum Programming with Unbounded Loops

  Wang Fang, Mingsheng Ying, Xiaodi Wu

  ACM Transactions on Software Engineering and Methodology, 2023.

  TOSEM [DOI] [arXiv] [Code]

Powered by Jekyll and Minimal Light theme.