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.
