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.

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

Video de mi charla en las Jornadas de Ciencias de la Computación

Los organizadores de las JCC acaban de subir el video de mi charla (acá abajo). También están los videos de las demás charlas, que pueden ver aquí.

Las Jornadas de Ciencias de la Computación es un evento que se hace año a año en Rosario, organizada por y para los estudiantes de la Licenciatura en Ciencias de la Computación.

Abstract de la charla: Proponemos un sistema de pruebas para lógica proposicional en el cual proposiciones isomorfas son consideradas como iguales (en el sentido de que sus respectivas pruebas son intercambiables).
Por ejemplo, A implica (B y C) es isomorfo a A implica B y A implica C. Si consideramos un sistema de pruebas módulo este tipo de isomorfismos, desde el punto de vista del cálculo (o del sistema de pruebas), una función que toma un argumento y devuelve un par, es equivalente (o "igual" si se quiere, para algún concepto de igualdad) a un par de funciones, cada una tomando el mismo argumento, y devolviendo sólo un elemento del par. Por lo tanto, también se podría, por ejemplo, proyectar un elemento de un par que será resultado de la aplicación de una función... antes de aplicar la función, proyectando sólo una parte de la misma. Esto puede trae aparejado una simplificación importante del cómputo.
En una lógica proposicional que sólo cuente con conjunción (no-idempotente) e implicación, existen sólo cuatro isomorfismos básicos, a partir de los cuales pueden derivarse los demás. Estos cuatro isomorfismos, al considerarlos igualdades, generan un cálculo interesante, no-determinista, relacionado con otros cálculos en la literatura.

El paper completo lo pueden bajar de acá. Aún no está publicado, está en proceso de publicación en la revista Theoretical Computer Science.