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:
- Estudiar el fenómeno del paralelismo, utilizando las extensiones algebraicas al lambda cálculo.
- Estudiar la semántica denotacional del lambda cálculo vectorial.
- Estudiar sistemas modulo isomorfismos de tipos.
- Estudiar la semántica categórica del lambda cálculo cuántico del equipo brasileño en el proyecto.
- 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):
- Pablo ARRIGHI – Université Aix-Marseille, Francia
- Alejandro DIAZ-CARO – Universidad Nacional de Quilmes, Argentina
- Gilles DOWEK – INRIA, Francia
- Stefano FACCHINI – Université Aix-Marseille, Francia
- Juliana KAIZER VIZZOTTO – Universidade Federal de Santa Maria, Brasil
- Simon MARTIEL – INRIA, Francia
- Simon PERDRIX – CNRS/LORIA, Francia
- José Carlos PUIATI PIRES – Universidade Federal de Santa Maria, Brasil
- Gabriel SENNO – Universidad de Buenos Aires, Argentina
- Benoît VALIRON – CentraleSupélec –LRI, Francia
- Hanry (Quanlong) WANG – LORIA, Francia
0 comments:
Publicar un comentario