Nuno Santos, INESC-ID / Instituto Superior Técnico, Universidade de Lisboa