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.