Miranda, Yves de Holanda Batista de, Universidade do Porto, Porto, Portugal, Portugal