Prova de Doutoramento "Proof mining with the bounded functional interpretation"
Pedro Miguel dos Santos Pinto defende a tese "Proof mining with the bounded functional interpretation".
Pedro Miguel dos Santos Pinto defende a tese "Proof mining with the bounded functional interpretation".
David Miguel Rodrigues Pera defende a tese "Estudo de um processo de crescimento de silício cristalino por zona fundida elétrica".
Joana Teresa de Almeida Fernandes defende a tese "Avaliação do risco cardiovascular na Atividade Seguradora".
Max Silva Alaluna defende a tese "Secure and dependable multi-cloud network virtualization".
Rodrigo Nuno Mendes Antunes defende a tese "Experimental and numerical study on MFI-ZSM-5 zeolite membranes for tritium separation and recovery in nuclear fusion reactors".
Tânia Gomes Lucas defende a tese "Protein misfolding and cellular responses in metabolic disorders".
Florian Ulm defende a tese "Impacts of Acacia longifolia invasion on soil nutrient cycles: From invasion to solution".
Samina Kausar defende a tese "Computational approaches to virtual screening in human central nervous system therapeutic targets".
André Brás Gonçalves defende a tese "Crosstalk between the myotome and muscle stem cells during the development of the skeletal muscles of the back".
Provas do Curso de Formação Avançada - 1.º ano de Doutoramento.
Doutorando: Tiago Wolfram Nunes Santos Hirth.
Tema da tese e alvo de discussão oral: O candidato apresentará o Seminário de Investigação subordinado ao tema “O papel da Recreação Científica, o caso da Influência da Recreação Matemática e do Ilusionismo na Ciência”.
Júri: