Laboratoire
Institut de Recherche en Informatique Fondamentale
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
Les recherches de l’IRIF en informatique quantique comprennent la conception et l’analyse d’algorithmes, l’étude de modèles de calcul et les fondements des langages de programmation.
L’équipe Preuves et programmes de l’IRIF contribue au développement d’une théorie pour les langages de programmation quantiques. Notre objectif est de fournir des principes solides et des méthodes formelles (sémantique des programmes, systèmes de types, machines abstraites, modèles mathématiques) pour l’analyse et le développement de langages de programmation quantiques. Les questions clés sont la modularité et la compositionnalité : elles sont essentielles pour réduire la complexité des programmes quantiques.
© Claudia Faggian, 2017.
Figure :La figure montre une machine abstraite exécutant un fragment de programme qui encode une pièce de monnaie quantique.