DOUTOR VASCO MIGUEL GOMES NUNES MANQUINHO

Área: Engenharia Informática e de Computadores

Provas públicas:

Relatório da Unidade Curricular: Algorithms for Computational Logic

Seminário: Boolean Optimization Through SAT Oracles

Local da Prova: Sala 4.41 (2º piso do Pavilhão de Civil) do IST

Data: 06/06/2024 e 07/06/2024

Hora: 10h00
Despacho de nomeação de Júri