20 de octubre de 2014

Bienal Latinoamericana de Óptica Cuántica

Amigos, este es un post cortito para contarles que el Miércoles voy a estar presentando un resultado en la Bienal Latinoamericana de Óptica Cuántica (BLOC-O) que se desarrolla en la UNLP del 22 al 24 de Octubre.

El resultado es un nuevo loophole para experimentos tipo Bell. En poca palabras, el teorema de Bell permite, a partir de la estadística colectada sobre las mediciones en un conjunto de sistemas físicos, determinar si el comportamiento de estos puede o no ser simulado por computadoras que no se comunican entre sí. 
Con mis coautores probamos que el teorema no aplica a situaciones en las cuales las elecciones de las mediciones que se realizan sobre los sistemas se hace siguiendo algún algoritmo (por ejemplo, algún PRNG), lo cual es habitual en la mayoría de las realizaciones experimentales hasta la fecha.

Para los que quieran saber más sobre los detalles del trabajo, tenemos un preprint en el arXiv http://arxiv.org/abs/1407.0604 con éste y otro resultado acerca de la preparación de estados mixtos.

¡Saludos!

13 de octubre de 2014

En Argentina, próximos movimientos

Hola,

Ya estoy instalado en Argentina, y empezando a moverme por aquí y allá. Les comento dónde estaré y haciendo qué próximamente:
  • Esta semana estaré participando de las Jornadas de Ciencias de la Computación, que se llevan a cabo en Rosario desde hace mucho tiempo (estas son las 12vas!). Son del 15 al 17 de octubre. Yo voy a dar una charla  el viernes 17 a las 17hs. Voy a presentar un trabajo que ya he comentado en este blog, sobre los isomorfismos de tipos y sus consecuencias en los lenguajes de programación (clásicos, nada de cuántica acá).
  • A fines de Noviembre, estaré en París participando del segundo encuentro del proyecto Franco-Chino LOCALI (el primero se hizo en China) que se lleva a cabo del 24 al 26. Allí voy a hablar sobre un trabajo que empecé hace muy poquito relacionado con las intersecciones y uniones de tipos, y sus consecuencias en los lenguajes cuánticos. Ya contaré más sobre ese trabajo que recién estoy empezando, cuando tenga algo más armado.
  • Finalmente, del 9 al 14 de Febrero, estaré dando un curso en la Escuela de Verano de Río Cuarto. Otro evento con larga trayectoria en Argentina (ya van por las 22vas!). En ese curso de 5 días (2.5hs por día) voy a hablar en general de mis temas de investigación: extensiones cuánticas al cálculo lambda, con aplicaciones en teoría de tipos probabilistas y no-deterministas. La idea es explicar qué es lambda-cálculo, qué es computación cuántica, y cómo se relacionan :-)
Bueno, espero que haya muchos interesados, y desde ya les cuento que si están terminando su carrera y pensando en la posibilidad de un doctorado en estas áreas (teoría de tipos, computación cuántica, reescritura, o teoría de tipos y reescritura para computación cuántica), pues me encantaría dirigir alguna tesis en esta dirección. La Universidad Nacional de Quilmes es un ámbito muy ameno para llevar a cabo un doctorado, y el CONICET otorga becas de doctorado (para no tener que trabajar mientras se hace el doctorado, ya que el doctorado en sí es un trabajo). No duden en consultarme con respecto a esto!

3 de julio de 2014

Repatriación

Les cuento que, a partir de agosto, volveré a la Argentina, repatriado por medio del programa Raíces del Ministerio de Ciencia, Tecnología e Innovación Productiva de la Argentina, con un cargo de Profesor Adjunto de Dedicación Exclusiva en el Departamento de Ciencia y Tecnología de la Universidad Nacional de Quilmes.

Ha sido un largo trayecto desde que hace casi 6 años partimos con mi mujer a Grenoble, Francia, donde hice mi doctorado, y luego a París, donde estamos ahora. En estos años he conocido mucha gente de todos los rincones del planeta y he aprendido mucho de gente invaluable. Creo que esta experiencia me será muy útil en el futuro, y ahora espero poder contribuir a la ciencia desde mi país, Argentina, que en los últimos años ha demostrado una gran voluntad política por hacer crecer la investigación científica, con una inversión constante. Espero que siga así, y poder contribuir activamente a ese crecimiento.

En Quilmes voy a trabajar con Eduardo Bonelli y el equipo LoReL. Desde el punto de vista docente voy a integrar el equipo pedagógico de la recientemente creada Licenciatura en Desarrollo de Software, dirigida por Pablo E. "Fidel" Martínez-López y coordinada por Eduardo, donde estaré a cargo de la cátedra "Características de Lenguajes de Programación".

Eso es todo por ahora, mi próximo post probablemente lo haga desde Argentina.