Équipe
Proofs and Programs

Laboratoire

Institut de Recherche en Informatique Fondamentale (IRIF)

IRIF - UMR 8243
Université Paris Cité
Bâtiment Sophie Germain
Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13

Responsable

Claudia FAGGIAN

Membres permanents

  • Claudia FAGGIAN

  • Thomas EHRHARD

  • Paul-André MEILLIÈS

  • Michele PAGANI

  • Alexis SAURIN

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.