QUASAR - Semántica y razonamiento cuántico

• Equipo-proyecto MOCQUA, Centro Inria de la Université de Lorraine, Inria (Francia)
• Equipo-proyecto QUACS, Centro Inria de Saclay, Inria (Francia)
• Equipo-proyecto GALLINETTE, Centro Inria de la Université de Rennes, Inria (Francia)
• Universidad de Chile (Chile)
• Universidad de la República (Uruguay)
• Institut de Mathématiques de Marseille (I2M) (Francia)
• Laboratoire d'Informatique de Grenoble (LIG) (Francia)
• Universidad de Los Andes (Colombia)

Este proyecto tiene como objetivo desarrollar fundamentos teóricos para lenguajes de programación cuántica y herramientas de razonamiento, integrando lógicas, sistemas de tipos y semántica categórica. Basándose en trabajos previos, como el cálculo Lambda-S, el cálculo Sup y el cálculo ZX, y en consonancia con el consorcio QCOMICAL, el proyecto estudiará nuevas estructuras para programas cuánticos que combinen expresividad, corrección y composicionalidad.

Exploraremos marcos lógicos y semánticos que den cuenta de los fenómenos singulares de la computación cuántica, tanto desde una perspectiva operacional como denotacional. Nuestro enfoque destaca el uso de la teoría de categorías como lenguaje unificador para la semántica cuántica, así como el empleo de asistentes de demostración (como Rocq/Coq) como plataforma para la verificación y el razonamiento.

El proyecto reúne a socios de Francia, Chile, Uruguay y Colombia, combinando experiencia en programación cuántica, semántica formal, teoría de la demostración y física cuántica. Asimismo, promoverá la formación de jóvenes investigadores, el intercambio internacional de científicos, la publicación conjunta y la colaboración intercontinental, fomentando una cooperación a largo plazo a lo largo del eje Sudamérica-Europa.

En Francia: 

• Pablo Arrighi, investigador(a), equipo-proyecto QUACS, Centro Inria de Saclay, Inria
• Kathleen Barsse, estudiante PhD, equipo-proyecto MOCQUA, Centro Inria de la Université de Lorraine, Inria
• Emmanuel Beffara, investigador(a), coordinador proyecto QUASAR, Laboratoire d'Informatique de Grenoble
• Colin Blake, estudiante PhD, equipo-proyecto MOCQUA, Centro Inria de la Université de Lorraine, Inria
• Kostia Chardonnet, investigador(a), equipo-proyecto MOCQUA, Centro Inria de la Université de Lorraine, Inria
• Noé Delorme, estudiante PhD, equipo-proyecto MOCQUA, Centro Inria de la Université de Lorraine, Inria
• Alejandro Díaz-Caro, investigador(a), coordinador proyecto QUASAR, equipo-proyecto MOCQUA, Centro Inria de la Université de Lorraine, Inria
• Antoine Guilmin-Crepon, estudiante PhD, equipo-proyecto QUACS, Centro Inria de Saclay, Inria
• James Hefford, investigador(a), equipo-proyecto QUACS, Centro Inria de Saclay, Inria
• Julien Lamiroy, estudiante PhD, equipo-proyecto QUACS, Centro Inria de Saclay, Inria
• Thea Li, estudiante PhD, equipo-proyecto QUACS, Centro Inria de Saclay, Inria
• Octave Mestoudjian, estudiante PhD, equipo-proyecto QUACS, Centro Inria de Saclay, Inria
• Étienne Miquey, investigador(a), coordinador proyecto QUASAR, Institut de Mathématiques de Marseille
• Romain Pechoux, investigador(a), equipo-proyecto MOCQUA, Centro Inria de la Université de Lorraine, Inria
• Simon Perdrix, investigador(a), equipo-proyecto MOCQUA, Centro Inria de la Université de Lorraine, Inria
• Nicolas Tabareau, investigador(a), equipo-proyecto GALLINETTE, Centro Inria de la Université de Rennes, Inria
• Benoît Valiron, investigador(a), equipo-proyecto QUACS, Centro Inria de Saclay, Inria
• Thomas Vinet, estudiante PhD, equipo-proyecto MOCQUA, Centro Inria de la Université de Lorraine, Inria

En Chile: 

• Tomás Díaz, estudiante PhD, Universidad de Chile
• Federico Olmedo, investigador(a), coordinador proyecto QUASAR, Universidad de Chile
• Gaspar Ricci, estudiante MSc, Universidad de Chile
• Martín Segur, estudiante MSc, Universidad de Chile
• Éric Tanter, investigador(a), Universidad de Chile

En Uruguay: 

• Mauricio Guillermo, investigador(a), Universidad de la República
• Malena Ivnisky, estudiante PhD, Universidad de la República
• Octavio Malherbe, investigador(a), coordinador proyecto QUASAR, Universidad de la República
• Nicolás Monzón, estudiante MSc, Universidad de la República
• Alberto Pardo, investigador(a), Universidad de la República
• Julián Tricanico, estudiante MSc, Universidad de la República
• Marcos Viera, investigador(a), Universidad de la República

En Colombia

• Julián David Calderón, estudiante PhD, Universidad de Los Andes
• Andrés Reyes Lega, investigador(a), coordinador proyecto QUASAR, Universidad de Los Andes