Correia Lopes, João, DEI-FEUP e INESC TEC, Universidade do Porto