Teixeira Lopes, João, Universidade do Porto, Portugal