Wang Fang
Research Associate
Research Interests:
Quantum Programming Languages
Classical Simulation of Quantum Circuits
Differentiable Programming
Wang Fang is a postdoctoral research associate in the Laboratory for Foundations of Computer Science at the University of Edinburgh. His interests lie in quantum programming languages, classical simulation of quantum circuits and differentiable programming. He has published articles in conferences and journals including CAV, CCS, DAC, PLDI, TIT and TOSEM.
Featured Publications
Wang Fang, Mingsheng Ying, and Xiaodi Wu. 2023. Differentiable Quantum Programming with Unbounded Loops. ACM Trans. Softw. Eng. Methodol. 33, 1, Article 19 (January 2024). Link Wang Fang and Mingsheng Ying. 2024. Symbolic Execution for Quantum Error Correction Programs. Proc. ACM Program. Lang. 8, PLDI, Article 189 (June 2024) Link Wang Fang and Mingsheng Ying. 2024. SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. In DAC 2024. Link