Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mathieu Nguyen
conf.researchr.org general profile
PLDI 2025 profile
PLDI 2026 profile
Registered user since Tue 27 May 2025
Name:
Mathieu Nguyen
Contributions
2026
PLDI
Author of Hybrid Path-Sums for Hybrid Quantum Programs within the PLDI Research Papers-track
2025
PLDI
Author of Formal Analysis and Verification in Quantum Programming within the Tutorials-track
Share
x
Thu 29 Oct 14:02