Afonso N. Oliveira, Instituto Superior Técnico (ULisboa) and INESC-ID