???global.info.a_carregar???
Identification

Personal identification

Full name
GILDA MARIA SARAIVA DIAS FERREIRA

Author identifiers

Ciência ID
0B1A-81E7-88B1
ORCID iD
0000-0003-1447-9764

Email addresses

  • gmferreira@fc.ul.pt (Professional)
  • gilda.ferreira@uab.pt (Professional)

Addresses

  • Faculdade de Ciências da Universidade de Lisboa. Departamento de Matemática, Faculdade de Ciências, Campo Grande, Edifício C6, 1749-016, Lisboa, Lisboa, Portugal (Professional)
  • Universidade Aberta, Rua Almirante Barroso, n.º 38, 1000-013 , Lisboa, Lisboa, Portugal (Professional)

Websites

Knowledge fields

  • Exact Sciences - Mathematics
Education
Degree Classification
2006/10/03
Concluded
 Matemática (Doutoramento)
Major in Álgebra, Lógica e Fundamentos
Universidade de Lisboa Faculdade de Ciências, Portugal
"Systems of Weak Analysis for Integration (in Portuguese)" (THESIS/DISSERTATION)
 Approved with distinction by unanimity
Affiliation

Science

Category
Host institution 		Employer
2014/09/15 - 2018/01/14 Postdoc (Research) Fundação para a Ciência e a Tecnologia, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2010/10/01 - 2014/09/15 Postdoc (Research) Fundação para a Ciência e a Tecnologia, Portugal
Centro de Matemática e Aplicações Fundamentais - Universidade de Lisboa, Portugal
2009/10/01 - 2010/09/30 Postdoc (Research) Queen Mary - University of London, United Kingdom
Queen Mary - University of London, United Kingdom
2007/10/01 - 2009/09/30 Postdoc (Research) Fundação para a Ciência e a Tecnologia, Portugal
Queen Mary - University of London, United Kingdom

Teaching in Higher Education

Category
Host institution 		Employer
2018/01/15 - Current Assistant Professor (University Teacher) Universidade Aberta Departamento de Ciências e Tecnologia, Portugal
2017/04/01 - 2018/01/14 Invited Assistant Professor (University Teacher) Universidade Aberta, Portugal
2011/02/01 - 2015/02/28 Assistant Professor (University Teacher) Universidade Lusófona de Humanidades e Tecnologias, Portugal
2008/09/01 - 2010/04/30 Tutor (University Teacher) Queen Mary - University of London, United Kingdom
Queen Mary - University of London, United Kingdom
2002/10/15 - 2005/02/28 Tutor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Projects

Grant

Designation Funders
2014/09 - 2018/01/14 Proof-theory: a logical-computational approach
SFRH/BPD/93278/2013
Post-doc Fellow
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2007 - 2014/09 Postdoctoral project in Mathematical Logic - Proof Theory
SFRH/BPD/34527/2006
Post-doc Fellow
Queen Mary - University of London, United Kingdom

Centro de Matemática e Aplicações Fundamentais - Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2001/11/01 - 2005/10/31 Systems of Weak Analysis for Integration
SFRH/BD/4859/2001
PhD Student Fellow
Universidade de Lisboa Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2000/10/01 - 2001/09/30 Polynomial Space Computable Arithmetic
SFRH/BM/77/2000
Master Student Fellow
Universidade de Lisboa Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2010/03/01 - 2013/08/01 Functional interpretations of arithmetic and analysis
PTDC/MAT/104716/2008
Researcher
Centro de Matemática e Aplicações Fundamentais - Universidade de Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2010/01/01 - 2011/06/30 Computation-Sensitive Proofs
info:eu-repo/grantAgreement/RCUK/EPSRC/EP2%FH0118032%F1/GB
Researcher
Queen Mary - University of London, United Kingdom
 Engineering and Physical Sciences Research Council
Concluded
2005/03/01 - 2007/12/01 Formal systems of arithmetic and computability
POCI/MAT/61720/2004
Researcher
Centro de Matemática e Aplicações Fundamentais - Universidade de Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2006/01/01 - 2006/12/31 Instantiation overflow
Programa Gulbenkian de Estímulo à Investigação 2005
Researcher
Universidade de Lisboa Faculdade de Ciências, Portugal
 Fundação Calouste Gulbenkian
Concluded
2002/04/01 - 2004/12/01 Weak systems of second-order arithmetic
info:eu-repo/grantAgreement/FCT/POCI/41019/PT
PhD Student Fellow
Centro de Matemática e Aplicações Fundamentais - Universidade de Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book chapter
  1. Fernandes, António Marques; Ferreira, Fernando; Ferreira, Gilda. "Analysis in weak systems". In Logic and Computation: Essays in Honour of Amilcar Sernadas, 231-261. College Publications, 2017.
    Published
  2. Ferreira, Fernando; Ferreira, Gilda. "The faithfulness of atomic polymorphism". edited by A. Indrzejczak, J. Kaczmarek, M. Zawidzki, 55-64. 2014.
    Published
  3. Fernandes, António Marques; Ferreira, Fernando; Ferreira, Gilda. "Techniques in weak analysis for conservation results". edited by P. Cégielski, Ch. Cornaros; C. Dimitracopoulos, 115-147. 2013.
    Published
  4. Ferreira, Gilda; Oliva, Paulo. "On the relation between various negative translations". edited by Berger, Ulrich; Diener, Hannes; Schuster, Peter; Seisenberger, Monika; Scanlon, Thomas; Schimmerling, Ernest; Schindler, Ralf; Schwichtenberg, Helmut, 227-258. 2012.
    Published
Journal article
  1. Ferreira, Gilda; Firmino, Paulo. Corresponding author: Ferreira, Gilda. "Herbrandized modified realizability". Archive for Mathematical Logic (2024): http://dx.doi.org/10.1007/s00153-024-00917-6.
    Open access • Published • 10.1007/s00153-024-00917-6
  2. Gilda Ferreira; M. Clarence Protin. "Typability and Type Inference in Atomic Polymorphism". Logical Methods in Computer Science Volume 18, (2022): http://dx.doi.org/10.46298/lmcs-18(3:22)2022.
    10.46298/lmcs-18(3:22)2022
  3. Santo, José Espírito; Ferreira, Gilda. "The Russell-Prawitz embedding and the atomization of universal instantiation". Logic Journal of the IGPL 29 5 (2020): 823-858. http://dx.doi.org/10.1093/jigpal/jzaa025.
    10.1093/jigpal/jzaa025
  4. Espírito Santo, José; Ferreira, Gilda. "A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism". Studia Logica (2019): http://dx.doi.org/10.1007/s11225-019-09858-1.
    Published • 10.1007/s11225-019-09858-1
  5. Ferreira, Gilda; Vasconcelos, Vasco T. "The computational content of atomic polymorphism". Logic Journal of the IGPL 27 5 (2018): 625-638. http://dx.doi.org/10.1093/jigpal/jzy076.
    Published • 10.1093/jigpal/jzy076
  6. Ferreira, Gilda. "Atomic polymorphism and the existence property". Annals of Pure and Applied Logic 169 12 (2018): 1303-1316. http://dx.doi.org/10.1016/j.apal.2018.08.004.
    Published • 10.1016/j.apal.2018.08.004
  7. Ferreira, Fernando; Ferreira, Gilda. "A herbrandized functional interpretation of classical first-order logic". Archive for Mathematical Logic 56 5-6 (2017): 523-539. http://dx.doi.org/10.1007/s00153-017-0555-6.
    Published • 10.1007/s00153-017-0555-6
  8. Ferreira, Gilda. "Rasiowa–Harrop Disjunction Property". Studia Logica 105 3 (2016): 649-664. http://dx.doi.org/10.1007/s11225-016-9704-x.
    Published • 10.1007/s11225-016-9704-x
  9. Ferreira, Gilda. "Eta-conversions of IPC implemented in atomic F". Logic Journal of IGPL 25 2 (2016): 115-130. http://dx.doi.org/10.1093/jigpal/jzw035.
    Published • 10.1093/jigpal/jzw035
  10. Ferreira, Fernando; Ferreira, Gilda. "Elementary Proof of Strong Normalization for Atomic F". Bulletin of the Section of Logic 45 1 (2016): 1-15. http://dx.doi.org/10.18778/0138-0680.45.1.01.
    Published • 10.18778/0138-0680.45.1.01
  11. Dinis, Bruno; Ferreira, Gilda. "Instantiation overflow". Reports on Mathematical Logic 51 (2016): 15-33. http://www.ejournals.eu/rml/2016/Number-51/art/7675/.
    Published • 10.4467/20842589RM.16.002.5279
  12. Ferreira, Fernando; Ferreira, Gilda. "The Faithfulness of Fat: A Proof-Theoretic Proof". Studia Logica 103 6 (2015): 1303-1311. http://dx.doi.org/10.1007/s11225-015-9620-5.
    Published • 10.1007/s11225-015-9620-5
  13. Ferreira, Fernando; Ferreira, Gilda. "Interpretability in Robinson's Q". Bulletin of Symbolic Logic 19 3 (2013): 289-317. http://dx.doi.org/10.2178/bsl.1903010.
    Published • 10.2178/bsl.1903010
  14. Ferreira, Fernando; Ferreira, Gilda. "Atomic polymorphism". The Journal of Symbolic Logic 78 1 (2013): 260-274. http://dx.doi.org/10.2178/jsl.7801180.
    Published • 10.2178/jsl.7801180
  15. Bianconi, Ricardo; Ferreira, Gilda; Silva, Emmanuel. "Bounded theories for polyspace computability". Portugaliae Mathematica 70 4 (2013): 295-318. http://dx.doi.org/10.4171/pm/1936.
    Published • 10.4171/pm/1936
  16. Ferreira, F.; Ferreira, G.. "Interpretability in Robinson's Q". Bulletin of Symbolic Logic 19 3 (2013): 289-317. http://www.scopus.com/inward/record.url?eid=2-s2.0-84962297785&partnerID=MN8TOARS.
    10.1017/S1079898600010660
  17. Ferreira, Gilda; Oliva, Paulo. "On bounded functional interpretations". Annals of Pure and Applied Logic 163 8 (2012): 1030-1049. http://dx.doi.org/10.1016/j.apal.2011.12.025.
    Published • 10.1016/j.apal.2011.12.025
  18. Ferreira, Gilda; Oliva, Paulo. "Functional Interpretations of Intuitionistic Linear Logic". Logical Methods in Computer Science 7 1:9 (2011): 1-22. http://dx.doi.org/10.2168/lmcs-7(1:9)2011.
    Published • 10.2168/lmcs-7(1:9)2011
  19. Ferreira, Gilda; Oliva, Paulo. "On Various Negative Translations". Electronic Proceedings in Theoretical Computer Science 47 (2011): 21-33. http://dx.doi.org/10.4204/eptcs.47.4.
    Published • 10.4204/eptcs.47.4
  20. Ferreira, Gilda; Oliva, Paulo. "Confined modified realizability". MLQ 56 1 (2010): 13-28. http://dx.doi.org/10.1002/malq.200810029.
    Published • 10.1002/malq.200810029
  21. Ferreira, Fernando; Ferreira, Gilda. "Commuting Conversions vs. the Standard Conversions of the “Good” Connectives". Studia Logica 92 1 (2009): 63-84. http://dx.doi.org/10.1007/s11225-009-9186-1.
    Published • 10.1007/s11225-009-9186-1
  22. Ferreira, Gilda. "The counting hierarchy in binary notation". Portugaliae Mathematica 66 1 (2009): 81-94. http://dx.doi.org/10.4171/pm/1832.
    Published • 10.4171/pm/1832
  23. Ferreira, G.; Oliva, P.. "Functional Interpretations of Intuitionistic Linear Logic". Lecture Notes in Computer Science 5771 (2009): 3-19. https://doi.org/10.1007/978-3-642-04027-6_3.
    Published • 10.1007/978-3-642-04027-6_3
  24. Ferreira, Fernando; Ferreira, Gilda. "Harrington’s conservation theorem redone". Archive for Mathematical Logic 47 2 (2008): 91-100. http://dx.doi.org/10.1007/s00153-008-0080-8.
    Published • 10.1007/s00153-008-0080-8
  25. Ferreira, F.; Ferreira, G.. "The Riemann integral in weak systems of analysis". Journal of Universal Computer Science 14 6 (2008): 908-937. http://www.jucs.org/jucs_14_6/the_riemann_integral_in.
    Published
  26. Ferreira, Fernando; Ferreira, Gilda. "Counting as integration in feasible analysis". MLQ 52 3 (2006): 315-320. http://dx.doi.org/10.1002/malq.200510035.
    Published • 10.1002/malq.200510035
  27. Ferreira, Gilda; Oitavem, Isabel. "An interpretation of ${\sf S}^1_2$ in $\Sigma^b_1{\sf -NIA}$". Portugaliae Mathematica 63 (2006): 427-450.
    Published
Magazine article
  1. FERREIRA, GILDA. "O conjunto de todos os conjuntos não existe.", Gazeta de Matemática, 2015, http://gazeta.spm.pt/getArtigo?gid=528.
  2. FERREIRA, GILDA. "Quando a Lógica não se contenta com a verdade", Gazeta de Matemática, 2014, http://gazeta.spm.pt/getArtigo?gid=467.
Thesis / Dissertation
  1. FERREIRA, GILDA. "Sistemas de Análise Fraca para a Integração". PhD, Universidade de Lisboa Faculdade de Ciências, 2006. https://webpages.ciencias.ulisboa.pt/~gmferreira/PhD.pdf.
  2. FERREIRA, GILDA. "Aritmética Computável em Espaço Polinomial". Master, Universidade de Lisboa Faculdade de Ciências, 2002. https://webpages.ciencias.ulisboa.pt/~gmferreira/Tese_Mestrado.pdf.
Distinctions

Other distinction

2006 Distinction - Programa Gulbenkian de Estímulo à Investigação
Fundação Calouste Gulbenkian, Portugal
1996 Award for the 2nd best grade of the year (best grade in Mathematics)
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal