1 de diciembre de 2015

Poniendo FoQCoSS en los fundamentos de la computación cuántica

Nos acaban de aprobar el proyecto STIC-AmSud "FoQCoSS - Foundations of Quantum Computation: Syntax and Semantics" (Fundamentos de la computación cuántica: sintaxis y semántica).

Este es un proyecto conjunto donde participan 5 instituciones (dos argentinas, una brasileña y cuatro francesas) y un total de 11 investigadores y becarios.
Los miembros argentinos somos los miembros argentinos de este blog, Gabriel Senno y, quien les escribe, Alejandro Díaz-Caro.

El objetivo del proyecto, como lo dice el título, es estudiar los fundamentos de la computación cuántica, con 5 objetivos específicos claros:
  1. Estudiar el fenómeno del paralelismo, utilizando las extensiones algebraicas al lambda cálculo.
  2. Estudiar la semántica denotacional del lambda cálculo vectorial.
  3. Estudiar sistemas modulo isomorfismos de tipos.
  4. Estudiar la  semántica categórica del lambda cálculo cuántico del equipo brasileño en el proyecto.
  5. Estudiar los las consecuencias de la teoría de la computabilidad en la física y las consecuencias de la física en la teoría de la computabilidad.

Es un proyecto a dos años que nos va a permitir reunirnos todos en jornadas de trabajo un par de veces al año y es financiado por MAEDI e INRIA de Francia, CAPES de Brasil y MINCYT de Argentina.

Les dejo el link a la descripción completa del proyecto en la página de STIC-AmSud.

Los integrantes somos (en orden alfabético):
  1. Pablo ARRIGHI – Université Aix-Marseille, Francia
  2. Alejandro DIAZ-CARO – Universidad Nacional de Quilmes, Argentina
  3. Gilles DOWEK – INRIA, Francia
  4. Stefano FACCHINI – Université Aix-Marseille, Francia
  5. Juliana KAIZER VIZZOTTO – Universidade Federal de Santa Maria, Brasil
  6. Simon MARTIEL – INRIA, Francia
  7. Simon PERDRIX – CNRS/LORIA, Francia
  8. José Carlos PUIATI PIRES – Universidade Federal de Santa Maria, Brasil
  9. Gabriel SENNO – Universidad de Buenos Aires, Argentina
  10. Benoît VALIRON – CentraleSupélec –LRI, Francia
  11. Hanry (Quanlong) WANG – LORIA, Francia