Marques, Ricardo, INESC-ID, Portugal