28 de octubre de 2014

Curso en la Escuela de Verano de Río Cuarto

Como anuncié previamente, este verano estaré dando un curso de posgrado en la Escuela de Verano de Ciencias Informáticas de Río Cuarto.

Fundamentos de lenguajes de programación cuántica

En este curso de 5 días, tomaré los primeros dos para hacer una introducción a la computación cuántica. El tercer día daré una introducción al lambda-cálculo. El cuatro día explicaré los lenguajes de programación à la Selinger-Valiron, donde el control del programa se lleva de manera clásica y el cómputo en una máquina cuántica, la cual recibe las instrucciones a ejecutar desde la máquina clásica. Finalmente el último día explicaré los lenguajes de programación puramente cuánticos, donde el control también se lleva a cabo en una máquina cuántica, lo que permite superponer programas. Daré como ejemplo el cálculo vectorial que fue uno de los resultados de mi tesis.

Más detalles del curso, en la página de la escuela.

¡Los espero!