Proofs and Programs

Activité scientifique

IRIF research in quantum computing include the design and analysis of algorithms, the study of computational models, and the foundations of programming languages.

The team Proofs and Programs at IRIF contributes to the development of a theory for quantum programming languages. Our goal is to provide sound principles and formal methods (program semantics, type systems, abstract machines, mathematical models) for the analysis and development of quantum programming languages. Key issues are modularity and compositionality:   they are essential in scaling the complexity of quantum programs.

Figure : The figure shows an abstract machine executing a program fragment which encodes a quantum coin (Claudia FAGGIAN, 2017).