Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wang Fang
conf.researchr.org general profile
ECOOP 2026 profile
PLDI 2025 profile
POPL 2026 profile
Registered user since Tue 9 Dec 2025
Name:
Wang Fang
Country:
United Kingdom
Affiliation:
University of Edinburgh
Contributions
2026
ECOOP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL
Author of Hadamard-Pi: Equational Quantum Programming within the POPL-track
2025
PLDI
Author of Efficient Formal Verification of Quantum Error Correcting Programs within the PLDI Research Papers-track
Share
x
Mon 16 Feb 13:06