Gilda Ferreira

I am a post-doc researcher at Centro de Matematica e Aplicacoes Fundamentais CMAF (Universidade de Lisboa, Portugal), collaborating with the Logic Group. I am also a member of Nucleo de Investigacao em Matematica NIM (Universidade Lusofona de Humanidades e Tecnologia - Lisboa).

I did my undergraduate studies in Mathematics in Portugal at Faculdade de Ciencias da Universidade de Lisboa. I have a Masters and a PhD in Mathematical Logic from the same University, supervised by professor Fernando Ferreira. During 3 years I did research in the Theory Group of the Department of Computer Science, Queen Mary University of London (QMUL), with professor Paulo Oliva.

Contacts

Departamento de Matematica, Faculdade de Ciencias da Universidade de Lisboa

Office 6.2.31
gildafer <at> cii <dot> fc <dot> ul <dot> pt

Research interests

- Mathematical Logic

- Proof Theory

- Bounded Arithmetic and Computational Complexity

- Realizability and Functional Interpretations

Publications

Journals with referee

- On Bounded Functional Interpretations (with Paulo Oliva). Accepted for publication on Annals of Pure and Applied Logic. 30 pages.

- Functional Interpretations of Intuitionistic Linear Logic (with Paulo Oliva). Logical Methods in Computer Science, vol. 7 (1:9), pp. 1-22 (2011).

- Confined Modified Realizability (with Paulo Oliva). Mathematical Logic Quarterly, vol. 56, n 1, pp. 13-28 (2010).

- Commuting Conversions vs. the Standard Conversions of the Good Connectives (with Fernando Ferreira). Studia Logica, vol. 92, n 1, pp. 63-84 (2009).

- The Counting Hierarchy in Binary Notation. Portugaliae Mathematica, vol. 66, n 1, pp. 81-94 (2009).

- Harringtons Conservation Theorem Redone (with Fernando Ferreira). Archive for Mathematical Logic, vol. 47, pp. 91-100 (2008).

- The Riemann Integral in Weak Systems of Analysis (with Fernando Ferreira). Journal of Universal Computer Science, vol. 14, n 6, pp. 908-937 (2008).

- An interpretation of S^1_2 in ∑^b_1-NIA (with Isabel Oitavem). Portugaliae Mathematica, vol. 63, n 4, pp. 427-450 (2006).

- Counting as Integration in Feasible Analysis (with Fernando Ferreira). Mathematical Logic Quarterly, vol. 52, n 3, pp. 315-320 (2006).

Proceedings with referee

- On Various Negative Translations (with Paulo Oliva), In Steffen van Bakel, Stefano Berardi, Ulrich Berger (Eds.), Poceedings of CL&C2010, Electronic Proceedings in Theoretical Computer Science, vol. 47, pp. 21-33 (2011). A full version with detailed proofs can be found here.

- Functional Interpretations of Intuitionistic Linear Logic (with Paulo Oliva). In E. Gradel, R. Kahle (Eds.), Proceedings of CSL2009, Lecture Notes in Computer Science, vol. 5771, pp. 3-19, Springer (2009).

Thesis

- Sistemas de Analise Fraca para a Integracao. Ph.D. thesis (in portuguese), Universidade de Lisboa, 2006.

- Aritmetica Computavel em Espaco Polinomial. Masters thesis (in portuguese), Universidade de Lisboa, 2001.

Abstracts and Technical Reports

- Functional Interpretations of Intuitionistic Linear Logic (with Paulo Oliva). Workshop CCC09, local proceedings, Dieter Spreen editor, Universitat Siegen, pp. 22 (2009).

- Confined Modified Realizability (with Paulo Oliva). Queen Mary - Technical Reports - RR-08-05 (2008).

- Integration in Systems of Weak Analysis. Conference Reports, 4^th International Workshop PCC05, Elbl, Kahle, Oitavem editors, Faculdade de Ciencias e Tecnologia - UNL, n 1, pp. 4-5 (2005).

- Weak Theories of Arithmetic and the Counting Hierarchy. The Bulletin of Symbolic Logic, vol. 10, n 2 (2004).

Last updated: 12 June 2011.