1 de febrero de 2016

Comenzando actividades

Hace casi un año que me mudé de vuelta a Asunción para iniciar mis actividades académicas. Me dijeron que el primer año resultaría duro y lo fue. Especialmente después de haber vivido casi ocho años en Japón y volver a acostumbrarme a mi propia cultura fue lo más difícil. Hasta este momento nunca me había dado cuenta de lo aculturado que estaba a Japón.

Actualmente estoy realizando un cambio en mis estudios y estoy aprovechando estos nuevos aires para incursionar en complejidad algebraica. Es un área de estudio que me siempre me provocó curiosidad y siempre disfruté estudiar. Ahora es una buena oportunidad para comenzar en esto. No significa que voy a dejar la computación cuántica, sino más bien, sería como un refuerzo que actuaría en sinergía con la computación cuántica. Los mismos conceptos aparecen en ambos como los tensores, los polinomios, y por supuesto, el álgebra abstracta.

Este año voy a estar muy concentrado en crear un grupo de investigación en teoría de la computación, el cual es un área (según mi entendimiento) inexistente en el Paraguay. Solo estamos dos personas que hacemos investigación en teoría de la computación. Espero poder cambiar eso en un futuro.

Por lo tanto estoy buscando estudiantes de grado y postgrado interesados en hacer teoría de la computación, en particular, las áreas de complejidad algebraica, computación cuántica y complejidad computacional clásica. Hay oportunidades de beca para estudiantes a tiempo completo, y nuestro consejo de ciencia y tecnología local ofrece todos los años becas de postgrado. Además, nuestro programa de postgraduación en Ciencias de la Computación es muy bueno, con expertos en diferentes áreas como bioinformática, optimización, ingeniería, computación científica y otros.

Voy a ir reportando avances de como vamos organizando el grupo. No quiero prometer publicaciones en el blog cada cierto tiempo estecífico, pero si voy a intentar cada tanto hacer una actualización. Es increíble como antes teníamos como una entrada en el blog cada semana, pero luego de graduarme y empezar a trabajar se hizo muy difícil escribir.

Este es un buen momento para volver a escribir.

4 de enero de 2016

Rūsiņš Mārtiņš Freivalds 1942-2016

Hoy me llegó la triste noticia de que Rūsiņš Freivalds falleció. El fue un pionero de la teoría de autómatas y la complejidad computacional. Entre sus muchas contribuciones quisiera resaltar  el primer algoritmo que demuestra la superioridad de la computación probabilística sobre la determinística; el demostró que el lenguaje {0n1n | n≥0} puede ser reconocido por un autómata probabilístico. También, fue el descubridor de un algoritmo asintóticamente óptimo para verificar la multiplicación de matrices, conocido como el Algoritmo de Freivalds

Tuve el placer de conocerlo y escuchar en varias ocasiones sus historias sobre como hacían investigación en la antigua unión soviética, del cual Latvia (o Letonia en español) fue parte. Siempre que él iba a alguna conferencia estaba acompañado de sus muchos estudiantes. En los últimos años sus trabajos se centraron en un modelo de computación basado en números p-ádicos. Aunque aparenta ser un modelo muy extraño, es una generalización muy natural y muy interesante.

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