Diploma de Estudos Avançados em Matemática

Diploma de Estudos Avançados em Engenharia Informática e de Computadores

Desenvolver a teoria algébrica da lógica modal.