Tipos vectoriales, no-determinismo y sistemas probabilísticos: Hacia una lógica cuántica computacional

Les dejo los slides de una charla que di ayer en una jornada de cuántica en Nancy. Lo que presento es en general mi tema de investigación, la diferencia con mi charla anterior, es que el público aquí eran mayormente informáticos especialistas en computación cuántica, mientras la charla anterior estaba destinada a matemáticos sin conocimientos en computación cuántica. Por lo tanto, aquí doy algunos detalles más (ya que no tuve que introducir el tema, ni explicar qué es lambda-cálculo).

Aquí les dejo también el link directo al PDF

Computación cuántica, lambda-cálculo, lógica... y todo eso

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

Emalca Salta 2013

Saliendo un poco del letargo de los últimos meses donde he estado inmerso en escribir mi tesis, esta entrada la escribo para promocionar la escuela EMALCA 2013 en Salta, Argentina.

Escuela de Matemática de América Latina y el Caribe

Yo he participado en la edición 2005 que se llevó a cabo en Paraguay. Los cursos son de diferentes niveles y para todos los gustos. En esta edición me llama la atención el curso sobre Cadenas de Markov, uno de mis eternos temas favoritos.

Espero que a algún lector le parezca interesante y decida ir.