Quantum Calculi: from theory to language design

Margherita Zorzi (Università di Verona)

Giovedì 29 novembre
Versione stampabile

Quantum Calculi: from theory  to language design

giovedì 29 novembre 

Luogo: PovoZero, via Sommarive, 14 - Povo - Sala Seminari "-1"
Ore: 12:30

Relatrice:

  • Margherita Zorzi (Università di Verona)

Abstract:
In the last 20 years several approaches to quantum programming have been introduced. In this talk we will focus on functional calculi and in particular on the QRAM architectural model. We explore the twofold perspective (theoretical and concrete) of the approach and we will list the main problems one has to face in quantum language design. 

Referente: Davide Pastorello