19 de junio de 2015

Mudanza a Paraguay

Desde Abril de este año estoy como profesor investigador a tiempo completo en la Universidad Nacional de Asunción (UNA). Después de casi 8 años en Japón, he viajado por debajo de la línea del ecuador y espero quedarme por aquí.

Actualmente estoy en el proceso de la creación de un grupo de investigación en Teoría de la Computación junto con otro profesor del área, y espero pronto tener un sitio web del grupo. Las áreas de investigación del grupo serían complejidad computacional, algoritmos, teoría de grafos, computación cuántica, en un sentido bien amplio.

Aún no tengo muy clara la situación por aquí, pero tengo entendido que hay muchas oportunidades para estudiantes de universidades sudamericanas para hacer intercambios. Una de estas redes, a la cual pertenece la UNA, es la AUGM. Esta red permite el intercambio de profesores y estudiantes. Tenemos un muy buen programa de postgrado en Ciencias de la Computación en áreas como computación científica, optimización, inteligencia artificial, visión por computador y otros; y a partir de este año se incluye teoría de la computación. Si hay estudiantes interesados en visitarnos, pueden consultar en sus universidades si hay algún acuerdo de intercambio y vemos como hacer.

10 de junio de 2015

Charla sobre la medición cuántica proyectiva en lambda cálculo en Rosario

Como ya es (lamentablemente) costumbre, comienzo por disculparme por lo poco que estoy posteando en el blog.

El mes de mayo estuve en París, primero trabajando con Mariangiola Dezani, de la Universidad de Torino, y luego con Gilles Dowek, del INRIA París. Con Gilles comenzamos un trabajo nuevo, del cual voy a hablar este martes 16 de junio a las 12hs en la Universidad Nacional de Rosario (más específicamente en la Facultad de Ciencias Exactas, Ingeniería y Agrimensura).

Les dejo el título y resúmen de la charla:
Sobre la medición cuántica proyectiva en lambda cálculo
Si se considera la superposición cuántica como una conjunción no-idempotente, la medición proyectiva corresponde a una proyección no-determinística sobre los pares. En este trabajo proponemos una extensión al lambda cálculo con pares simplemente tipado que tiene en cuenta mediciones , superposición equiprobable con interferencia destructiva y la propiedad cuántica del no-clonado. En esta charla daré una descripción del sistema y sus decisiones de diseño, así como un ejemplo del algoritmo de Deutsch en este cálculo.
 Update: Les dejo el link al preprint de este trabajo en arXiv: arXiv:1601.04294