Nomeação de Luís Manuel Alves Revez como gestor do Pavilhão de Informática do Instituto Superior Técnico, em comissão de serviço