Los últimos posts de este blog han sido demasiado personales para mi gusto (comentando en qué ando). Pero bueno, lo voy a cambiar dentro de poco cuando empieze el doctorado.
Por ahora les comento, el Jueves 9 de Octubre llego a Grenoble, al grupo Quantum Computation in Grenoble, donde iniciaré mi doctorado bajo la dirección de Pablo Arrighi. La idea es que el doctorado dure tres años, espero terminarlo a tiempo :)
El trabajo será en lógica cuántica y teoría de tipos para la computación cuántica, e iré contando detalles a medida que vayamos obteniendo resultados. Mi idea es continuar este blog como un "diario de doctorado", donde iré contando los avances que vayamos teniendo.











![[RSS]](http://img199.imageshack.us/img199/9727/rss16f.png)
