1. Especificação, Verificação, Implementação e Teste de Sistemas Distribuídos e Protocolos de Comunicação

  2. Grades Computacionais

  3. Privacidade e Personalização de Serviços

  4. Segurança de Redes

  5. Sistemas Operacionais Distribuídos e de Tempo Real