List of PhD Integrated Members
Amílcar Sernadas (Professor at IST — deceased Feb 7, 2017)
Bruno Dinis (Postdoctoral Researcher)
bruno DOT salsa AT gmail DOT com
Cristina Sernadas (Professor at IST)
cristina DOT sernadas AT tecnico DOT ulisboa DOT pt
Ezgi Iraz Su (Postdoctoral Researcher)
ezgiraz AT gmail DOT com
Emanuele Frittaion (Postdoctoral Researcher)
emanuelefrittaion AT gmail DOT com
filipe DOT casal AT tecnico DOT ulisboa DOT pt
joaofenes AT gmail DOT com
pedrosantospinto AT hotmail DOT com
silvia_r AT live DOT com DOT pt
amfernandes AT netcabo DOT pt
oitavem AT fct DOT unl DOT pt
mail AT jaimegaspar DOT com
lmdpereira AT fc DOT ul DOT pt
kahle AT mat DOT uc DOT pt
Description of the Research Group
The members of the Mathematical Logic group are all based at Universidade de Lisboa. It is fair to say that the group has acquired a good reputation among the centres of logic in Europe. There are three main directions in the group: proof theory, model theory and applied logic.
F. Ferreira and G. Ferreira work in proof theory, specially functional interpretations and issues like atomic polymorphism. F. Ferreira has also interests in the foundations of mathematics. B. Dinis wrote his PhD dissertation on nonstandard analysis but recently he has also showed interest in some issues of proof theory. M. Edmundo and L. Prelli work on o-minimal structures. Prelli provides an interface between model theory and real analytic geometry and, together with Edmundo, they embarked on the project of investigating the six Groethendiek operations in the o-minimal setting. A. Usvyatsov works mainly on continuous model theory and stability and has joint papers with such prominent researchers as Saharon Shelah. A. Sernadas, C. Sernadas and J. Rasga work mainly in applied logic recently focusing on probabilistic reasoning, albeit with continued interest in some aspects of universal logic, including combination of logics and Kolmogorov complexity of derivability. A. Sernadas is also interested in quantum reasoning and computing.
The group holds a regular seminar (Seminário de Lógica Matemática), now in its 28th year. This is the main forum for the group to meet on a regular basis.