Un puesto de doctorado totalmente financiado para trabajar con la Dra. Elizabeth Polgreen en la Escuela de Informática de la Universidad de Edimburgo, en un proyecto titulado “Síntesis del programa: avances y aplicaciones”.
La síntesis del programa es la tarea de generar automáticamente código que satisfaga una especificación dada. Este proyecto se centra en técnicas de síntesis de programas donde la especificación toma la forma de restricciones lógicas, como la “Síntesis guiada por sintaxis”. El objetivo del proyecto es impulsar el estado del arte en la síntesis de programas mediante el desarrollo de nuevos algoritmos de síntesis y explorar nuevas aplicaciones de síntesis de programas.