Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Christopĥe Chareton
conf.researchr.org general profile
PLDI 2025 profile
POPL 2020 profile
POPL 2025 profile
Registered user since Wed 11 Dec 2019
Name:
Christopĥe Chareton
Affiliation:
CEA, LIST, France
Contributions
2025
PLDI
Organizer of Formal Analysis and Verification in Quantum Programming within the Tutorials-track
Committee Member of Formal Analysis and Verification in Quantum Programming (tutorial) within the Workshops and Tutorials-track
PLanQC
Committee Member in Program Committee within the PLanQC 2025-track
2020
PLanQC
Author of Qbricks: formal verification in quantum computing within the PLanQC-track
Share
x
Thu 5 Jun 15:41
