Financial support through the following projects:
UIDB/00297/2020
UID/MAT/00297/2019
UID/MAT/00297/2013
PEst-OE/MAT/UI0297/2014
PEst-OE/MAT/UI0297/2011
Paulo G. Santos was awarded the BestMasters prize
The PhD student Paulo G. Santos at CMA was awarded the BestMasters prize by Springer for his thesis "Diagonalization on Formal Mathematics" under the supervision of Reinhard Kahle (CMA and FCT-NOVA and Universität Tübingen) and Isabel Oitavem (CMA and FCT-UNL).
The prize includes the publication of the thesis by Springer:
Research Groups
