Diploma de Estudos Avançados em Segurança de Informação

Dominar resultados e técnicas chave para estabelecer a decidibilidade de teorias de primeira ordem.