Ayer me ha escrito Yingzhou Zhang, para decirme que ya se ha doctorado y que es profesor en la Universidad de Nanjing.
También me dice que quiere retomar la investigación sobre Program Slicer que hicimos el año pasado.
Tenía ganas de contar esta anécdota. Resulta que hace un año aproximadamente, me escribió para decirme que había leído alguno de mis artículos de la tesis doctoral y que estaba intentando utilizar mi código Haskell para implementar un "Program Slicer". Me decía que si le podía echar un cable en la implementación. Para mí resultaba divertido ya que en Oviedo no conseguía que nadie quisiese continuar mi trabajo...así que estuvimos trabajando una temporada en su implementación. De dicho trabajo surgió el artículo: A formal method for program slicing que enviamos a la Conferencia de Ingeniería del Software de IEEE de Australia...éso es globalización!
Después de dicho artículo, él se centró en acabar su tesis y yo aparqué el tema. Hasta ayer, que retomamos el contacto.
No hay comentarios:
Publicar un comentario