Fernando Ferreira doutorou-se em Matemática pela Pennsylvania State University (EUA) em 1988 e é especialista em Lógica e Fundamentos da Matemática. Foi visitante bolseiro na Universidade de Aarhus (Dinamarca), na Universidade de Berna (Suiça), Fulbright Scholar na Universidade de Harvard (EUA) e, por um termo, Tinker Visiting Professor na Universidade de Stanford (EUA).

É autor (ou co-autor) de mais de quarenta artigos publicados internacionalmente e publicou em 2000, com Carlos André, o livro Matemática Finita. É autor de vários artigos de lógica em português. Supervisionou cinco teses de doutoramento e doze teses de mestrado. Tem sido convidado como orador de várias conferências na Europa. Foi medalha de prata do Kurt Gödel Centenary Research Prize Fellowships (2008). É membro do corpo editorial das revistas "Review of Symbolic Logic" e "Disputatio". É membro correspondente da Academia das Ciências de Lisboa.

--------

Fernando Ferreira majored in Mathematics and holds a PhD degree from Pennsylvania State University (USA). He is a specialist in Mathematical Logic and the Foundations of Mathematics. He was a visiting scholar at the universities of Aarhus (Denmark) and Bern (Switzerland), was a Fulbright Scholar at Harvard University (USA) and was, for one term, Tinker Visiting Professor at Stanford University (USA).

He is the author of more than forty papers and published in 2000, with Carlos André, a book entitled “Matemática Finita.” He has also several papers about logic published in portuguese. He supervised five doctoral theses and twelve master theses. He has been invited to various conferences in Europe. He was Silver Medal of the Kurt Gödel Centenary Research Prize Fellowship (2008). He is member of the editorial board of the journals "Review of Symbolic Logic" and "Disputatio". He is corresponding member of Academia das Ciências de Lisboa.

Lógica Matemática. Teoria da Demonstração. Interpretações Funcionais. Fundamentos da Matemática. Filosofia da Matemática.

Mathematical Logic. Proof Theory. Functional Interpretations. Foundations of Mathematics. Philosophy of Mathematics.