Luís Pina, INESC-ID/Instituto Superior Técnico