Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Margherita Zorzi
conf.researchr.org general profile
ETAPS 2019 profile
PLDI 2021 profile
POPL 2024 profile
Registered user since Mon 19 Nov 2018
Name:
Margherita Zorzi
Contributions
2024
PLanQC
Committee Member in Program Committee within the PLanQC 2024-track
2021
PLanQC
Committee Member in Program Committee within the PLanQC 2021-track
Author of qKleene: Verification of Quantum RAM Made Easy within the PLanQC 2021-track
2019
DICE-FOPARA
PC Member in Program Committee within the DICE-FOPARA-track
Share
x
Mon 18 Nov 20:23