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

Mestrado Bolonha em Matemática e Aplicações e Computação

Aplicar lógica na verificação de sistemas de hardware e de software.