Este año estoy trabajando en un centro INRIA y dando clases en la Universidad Paris-Ouest, integrando un grupo de matemáticos. Yo soy informático teórico, no matemático, y es por eso que la investigación la hago en el INRIA.
La semana pasada, dí una charla para el grupo de la universidad. La idea era dar un panorama general de qué es lo que investigo. Dado que el público no conocía computación cuántica, lambda-cálculo, ni nada de los temas que yo trabajo en general, la charla se trató de hacer una introducción a todos esos temas y luego contar un poco, de forma bastante genérica, dónde entrarían mis temas de investigación actuales.
Este post es simplemente para dejarles los slides por si a alguno le interesa. Claro que arriba de los post también hablé, por lo que faltarán detalles. Pero si alguno de los lectores de este blog está interesado en saber un poco de qué se trata todo eso de cuántica, lambda-cálculo y lógica, pues aquí va.
Aquí les dejo también el link directo al PDF
