Gilda Ferreira

I am a post-doc researcher in the Theory Group of the Department of Computer Science, Queen Mary University of London (QMUL). My post-doc is supervised by professor Paulo Oliva. I also collaborate with the School of Mathematical Sciences QMUL (teaching support) and with the Centro de Matematica e Aplicacoes Fundamentais CMAF (research).

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.

Contacts

Department of Computer Science, Queen Mary - University of London, London E1 4NS, UK

Office CS/440
gilda <at> dcs <dot> qmul <dot> ac <dot> uk
+44 (0) 207 882 5237 (phone)

 

Research interests

-           Mathematical Logic

-           Proof Theory

-           Bounded Arithmetic and Computational Complexity

-           Realizability and Functional Interpretations

If you are interested in doing a PhD in theoretical computer science, please have a look at the PhD scholarships we have available.

Publications

Journals with referee

-     Confined Modified Realizability (with Paulo Oliva). To appear in Mathematical Logic Quarterly.

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

-     Functional Interpretations of Intuitionistic Linear Logic (with Paulo Oliva). In E. Gradel, R. Kahle (Eds.), CSL, Lecture Notes in Computer Science, vol. 5771, pp. 3-19, Springer (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).

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, 4th 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: 8 November 2009.