Paolo Romano, INESC-ID, Instituto Superior Técnico, Universidade Técnica de Lisboa