Paulo Guilherme Santos (PGS) doutorou-se em Matemática pela NOVA FCT e em Ciências da Computação pela Universität Tübingen. A sua área científica é a Lógica Matemática, com especial ênfase na Teoria da Demonstração (Teorias Fracas de Aritmética e Lógica da Demonstrabilidade). PGS recebeu, durante o seu doutoramento, uma bolsa Fulbright para ser visiting scholar na Carnegie Mellon University onde desenvolveu trabalho com o Professor Wilfried Sieg. Além de vários trabalhos científicos publicados, a sua tese de mestrado recebeu um prémio da editora científica Springer, tendo sido publicada como livro.