Registered user since Mon 19 Nov 2018
Name:Margherita Zorzi
Country:Italy
Affiliation:University of Verona
Personal website:http://profs.sci.univr.it/~zorzim/
Research interests:Mathematical Logic, Quantum Computing, Lambda Calculus, Deductive systems
Contributions
| PLanQC 2021 | Committee Member in Program Committee within the PLanQC 2021-track qKleene: Verification of Quantum RAM Made Easy | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2021-profile
View general profile
View general profile