Laboratory
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
Team Leader
Claudia FAGGIAN
Permanant members
Claudia FAGGIAN
Thomas EHRHARD
Paul-André MEILLIÈS
Michele PAGANI
Alexis SAURIN
Scientific activity
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.
© Claudia Faggian, 2017.
Figure : The figure shows an abstract machine executing a program fragment which encodes a quantum coin.