SITC-AmSud Project 21STIC10 Qapla'

Quantum Aspects of Programming Languages

Project overview

The design of quantum programming languages is a rich framework that allows studying intrinsic properties of the computation we are modelling, such as parallelism, entanglement, superposition, etc; also, it is a way to study new logics (quantum logics with a computational ground), as well as to study classical logics from a new perspective. Finally, studying the foundational bases of programming languages gives a path to develop proper implementations. This project proposes to study several aspects of quantum programming languages, with different approaches (quantum control/classical data, quantum control and data, categorical techniques, semantical techniques, realizability). The final aim is to merge different approaches in order to study from logics to implementations.

Participating institutions

Argentina

• ICC: Instituto de Investigación en Ciencias de la Computación (CONICET / Universidad de Buenos Aires)
• UNQ: Universidad Nacional de Quilmes

Brazil

• UFSM: Universidade Federal de Santa María

Chile

• UChile: Universidad de Chile

France

• AMU: Aix-Marseille Université
• CNRS: Centre national de la recherche scientifique
• Inria: Institut national de recherche en sciences et technologies du numérique
• LMF / LRI, CS: Laboratoire Méthodes Formelles, LRI, CentraleSupélec
• LMF / LRI, UPS, Laboratoire Méthodes Formelles, LRI, Université Paris-Saclay
• LMF, LSV: Laboratoire Méthodes Formelles, LSV, ENS Paris-Saclay
• LORIA: Laboratoire lorrain de recherche en informatique et ses applications

Uruguay

• UdelaR: Universidad de la República

Participating members

Permanent members

• Pablo ARRIGHI - LMF / LRI, UPS - Site leader
• Alejandro DÍAZ-CARO - ICC & UNQ - International leader
• Gilles DOWEK - Inria & LMF, LSV - Site leader
• Mauricio GUILLERMO - UdelaR
• Octavio MALHERBE - UdelaR - Site leader
• Pablo E. MARTÍNEZ LÓPEZ - UNQ
• Hernán MELGRATTI - ICC
• Alexandre MIQUEL - UdelaR
• Federico OLMEDO - UChile - Site leader
• Simon PERDRIX - Inria & LORIA - Site leader
• Benoît VALIRON - LMF / LRI, CS - Site leader
• Juliana K. VIZZOTTO - UFSM - External collaborator
• Vladimir ZAMDZHIEV - Inria & LORIA

Non-permanent members

• Agustín BORGNA - LORIA & LMF / LRI, UPS (PhD student)
• Titouan CARETTE - LORIA (PhD student)
• Félix CASTRO - UdelaR (PhD student)
• Kostia CHARDONNET - LMF / LRI, CS (PhD student)
• Alexandre CLÉMENT - LORIA (PhD student)
• Nicolas DURBEC - AMU (PhD student)
• Nathanaël EON - AMU (PhD student)
• Malena IVNISKY - ICC & UdelaR (PhD student)
• Dongho LEE - LMF / LRI, UPS (PhD student)
• Rafael ROMERO - ICC & UdelaR (PhD student)
• Cristian SOTTILE - ICC & UNQ (PhD student)
• Margarita VESHCHEZEROVA - LORIA (PhD student)