Personal Data

Full name

Gilda Maria Saraiva Dias Ferreira

Publishing name

Gilda Ferreira

Birthday

1976-04-22T00:00:00

Academic Degrees

DOUTORAMENTO(0)

Degree date

2006

Final grade

Approved with distinction by unanimity

Degree granting institution

Universidade de Lisboa

School / College / Campus

Faculdade de Ciências

Thesis title

Systems of Weak Analysis for Integration (in Portuguese)

Supervisor

Fernando Ferreira

Co-supervisor

-

Scientific area

Matemática, área de Álgebra, Lógica e Fundamentos

MESTRADO(1)

Degree date

2002

Final grade

Very Good (Curricular year - 19 out of 20)

Degree granting institution

Universidade de Lisboa

School / College / Campus

Faculdade de Ciências

Thesis title

Polynomial Space Computable Arithmetic (in Portuguese)

Supervisor

Fernando Ferreira

Co-supervisor

-

Scientific area

Matemática, área de Álgebra, Lógica e Fundamentos

LICENCIATURA(4)

Degree date

1999

Final grade

17 out of 20

Degree granting institution

Universidade de Lisboa

School / College / Campus

Faculdade de Ciências

Thesis title

n/a

Supervisor

-

Co-supervisor

-

Scientific area

Matemática

Profissional activity

Period Position Institution
01-04-2017 - Invited Assistant Professor. Universidade Aberta
15-09-2014 - Researcher at LASIGE (Large-Scale Informatics Systems Laboratory) with a Post-Doctoral grant from Fundação para a Ciência e a Tecnologia (reference: SFRH/BPD/93278/2013). Faculdade de Ciências da Universidade de Lisboa
01-02-2011 - 28-02-2015 Assistant Professor. Universidade Lusófona de Humanidades e Tecnologias
01-10-2010 - 15-09-2014 Researcher at CMAF (Centro de Matemática e Aplicações Fundamentais) with a Post-Doctoral grant from Fundação para a Ciência e a Tecnologia (reference: SFRH/BPD/34527/2006). Faculdade de Ciências da Universidade de Lisboa
01-10-2007 - 30-09-2010 Researcher (till 01/10/2009 with the grant SFRH/BPD/34527/2006 from Fundação para a Ciência e a Tecnologia; after 01/10/2009 with grants from projects EP/F02309X/1 and EP/H011803/1 financed by EPSRC-Engineering and Physical Sciences Research Council). Queen Mary - University of London
01-09-2008 - 30-04-2010 Teaching support (tutorials) in the School of Mathematical Sciences. Courses: Linear Algebra I and Introduction to Algebra. Queen Mary - University of London
15-11-2005 - 30-09-2007 Consultant in the area of the management of structural funds (overheads) of the R&D projects. Fundação para a Ciência e a Tecnologia
15-10-2002 - 28-02-2005 Teaching support (tutorials). Courses: Mathematical Analysis I and II. Faculdade de Ciências e Tecnologia - Universidade Nova de Lisboa

Area of scientific activity

Area of scientific activity

My research activity has been developed in the area of Mathematical Logic. More precisely, in the following domains:

- Bounded Arithmetic: characterization of computational complexity classes through formal systems;
- Formalization of Mathematics in weak second-order arithmetic systems;
- Reverse Mathematics: determine which axioms are required to deduce some concrete mathematical results;
- Structural Proof Theory: natural deduction and sequent calculus for classical, intuitionistic and linear logic;
- Functional Proof Theory: realizability and functional interpretations.

Specialization domain

Mathematical Logic: Proof Theory; Bounded Arithmetic; Weak Analysis; Computational Complexity.

Current main scientific area

Bounded arithmetic and its connection to computational complexity theory; Weak analysis and reverse mathematics; Proof theory: normalization, cut-elimination and functional interpretations; linear logic.

Other scientific activities

- Member of the Program Committee and Organizing Committee of JAF35-Journées sur les Arithmétiques, 6-7 June 2016, FCUL, Lisboa. Member of the Organizing Committee of Axiomatic Thinking, 11-14 October, UNL, Lisboa.
- Member of CMAF-CIO (Centro de Matemática, Aplicações Fundamentais e Investigação Operacional da Universidade de Lisboa) since its foundation in 2015. Integrated member of the previous Center (CMAF) from 2010 to 2015 and collaborator member between 2007 and 2009;
- Collaborator member of the mathematical research group NIM- Universidade Lusófona between 2011 and 2015;
- Reviewer for Zentralblatt MATH;
- Reviewer activities for research journals such as Logical Methods in Computer Science or the Bulletin of the Section of Logic and research conferences such as the FSCD (International Conference on Formal Structures for Computation and Deduction);
- Member of the Association for Symbolic Logic since 2003;
- Member of Sociedade Portuguesa de Matemática since 1997.

Experience as scientific advisor

Master thesis: "Unification of functional interpretations via linear logic" (in Portuguese)
Author: Sílvia da Conceição Alexandre Reis
University: Faculdade de Ciências da Universidade de Lisboa
Defence date: 24/07/2014
Panel: Maria João Gouveia, Reinhard Kahle, Gilda Ferreira
Supervisor: Fernando Ferreira
Co-supervisor: Gilda Ferreira
Classification: 18 out of 20

Master thesis: "Atomic polymorphism and the strong normalization theorem" (in Portuguese)
Author: Maria do Rosário Dinis Inácio
University: Universidade Aberta
Defence date: 02/06/2014
Panel: Pedro Serranho, Fernando Ferreira, Gilda Ferreira
Supervisor: Mário Edmundo
Co-supervisor: Gilda Ferreira
Classification: 17 out of 20

Mathematical Seminar (a curricular unit of the Master's Programme): "Strong normalization in Fat"
Author: Sílvia da Conceição Alexandre Reis
University: Faculdade de Ciências da Universidade de Lisboa
Date: 12/03/2014
Panel: Fernando Ferreira, Maria João Gouveia, Gilda Ferreira
Supervisor: Gilda Ferreira
Classification: 19 out of 20

Participations in R&D projects

PROJECTS:

Title: Functional Interpretations of Arithmetic and Analysis
Starting date: 01/03/2010
Duration: 41 months
Funding Institution: Fundação para a Ciência e a Tecnologia
Reference: PTDC/MAT/104716/2008
Research team members: Fernando Ferreira, Gilda Ferreira, Isabel Oitavem, Patrícia Engrácia, Luís Cruz-Filipe, António Marques Fernandes, João Boto.
PI: Fernando Ferreira
Host institution: CMAF (via Fundação da Faculdade de Ciências da Universidade de Lisboa)
Funding: 23.040,00 euros


Title: Formal Systems of Arithmetic and Computability
Starting date: 01/03/2005
Duration: 33 months
Funding Institution: Fundação para a Ciência e a Tecnologia
Reference: POCI/MAT/61720/2004
Research team members: Fernando Ferreira, Gilda Ferreira, Isabel Oitavem, António Marques Fernandes, Patrícia Engrácia.
PI: Fernando Ferreira
Host institution: CMAF (via Fundação da Faculdade de Ciências da Universidade de Lisboa)
Funding: 10.000,00 euros


Title: Transbordo de Instanciação
Starting date: 01/01/2006
Duration: 12 months
Funding Institution: Fundação Calouste Gulbenkian (Research Stimulus Program of the Gulbenkian Foundation)
PI: Gilda Ferreira
Advisor: Fernando Ferreira
Host institution: Faculdade de Ciências da Universidade de Lisboa
Funding: 12.500,00 euros


Title: Weak Systems of Second-Order Arithmetic
Starting date: 01/04/2002
Duration: 32 months
Funding Institution: Fundação para a Ciência e a Tecnologia
Reference: POCI/MAT/41019/2001
Research team members: Fernando Ferreira, Gilda Ferreira, Isabel Oitavem, António Marques Fernandes, Ana Nunes.
PI: Fernando Ferreira
Host institution: CMAF (via Fundação da Faculdade de Ciências da Universidade de Lisboa)
Funding: 10.000,00 euros


INDIVIDUAL GRANTS:

- Post-doctoral research grant from Fundação para a Ciência e a Tecnologia (reference SFRH/BPD/93278/2013). Starting date: 15/09/2014. Duration: 36 months. In progress.

- Post-doctoral research grant from Fundação para a Ciência e a Tecnologia (reference SFRH/BPD/34527/2006). Starting date: 01/10/2007. Duration: 24 months. Reactivated in 01/10/2010. Duration: 48 months.

- Post-doctoral research grant from the project "Computation-sensitive proofs" (reference EP/H011803/1), Queen Mary University of London, funded by EPSRC-Engineering and Physical Sciences Research Council. Starting date: 01/01/2010. Duration: 9 months.

- Post-doctoral research grant from the project "Extreme Reasoning" (reference EP/F02309X/1), Queen Mary University of London, funded by EPSRC-Engineering and Physical Sciences Research Council. Starting date: 01/10/2009. Duration: 3 months.

- PhD research grant from Fundação para a Ciência e a Tecnologia (reference SFRH/BD/4859/2001). Starting date: 01/11/2001. Duration: 48 months.

- Master's research grant from Fundação para a Ciência e a Tecnologia (reference SFRH/BM/77/2000). Starting date:01/10/2000. Duration: 12 months.

- Initial research grant from Centro de Matemática e Aplicações Fundamentais to do an introductory study on Proof Theory. Starting date: 01/11/1999. Duration: 11 months.

- Initial research grant from Centro de Matemática e Aplicações Fundamentais to do an introductory study on Recursion Theory. Starting date: 01/10/1998. Duration: 11 months.

Awards

Year Award Awarding entity
2006 Distinction - Programa Gulbenkian de Estímulo à Investigação Calouste Gulbenkian Foundation
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

Publications

Artigos em revistas de circulação internacional com arbitragem científica

  • G. Ferreira, "Atomic polymorphism and the existence property". Accepted for publication in the Special Issue of Annals of Pure and Applied Logic - Proceedings of the LC2015.

    F. Ferreira, G. Ferreira, "A herbrandized functional interpretation of classical first-order logic, Archive for Mathematical Logic, vol. 56, pp. 523-539, 2017.
    Doi: 10.1007/s00153-017-0555-6

    A. M. Fernandes, F. Ferreira, G. Ferreira, "Analysis in weak systems", Logic and Computation: Essays in Honour of Amilcar Sernadas, College Publications, pp. 231-261, 2017.

    G. Ferreira, "Rasiowa-Harrop disjunction property", Studia Logica, vol. 105, nº3, pp. 649-664, 2017.
    Doi: 10.1007/s11225-016-9704-x

    G. Ferreira, "Eta-conversions of IPC implemented in atomic F", Logic Journal of IGPL, vol. 25, nº 2, pp. 115-130, 2017. Doi: https://doi.org/10.1093/jigpal/jzw035

    F. Ferreira, G. Ferreira, "An elementary proof of strong normalization for atomic F", Bulletin of the Section of Logic, vol. 45, nº 1, pp. 1-15, 2016.

    B. Dinis, G. Ferreira, "Instantiation overflow", Reports on Mathematical Logic, vol. 51, pp. 15-33, 2016. Doi:10.4467/20842589RM.16.002.5279

    F. Ferreira, G. Ferreira, "The faithfulness of Fat: a proof-theoretic proof", Studia Logica, vol. 103, nº 6, pp. 1303-1311, 2015. Doi: 10.1007/s11225-015-9620-5

    F. Ferreira, G. Ferreira, "The faithfulness of atomic polymorphism", Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek, M. Zawidzki (Eds.), pp. 55-64, Lódz University Press, 2014.

    R. Bianconi, G. Ferreira, E. Silva, "Bounded theories for polyspace computability", Portugaliae Mathematica, vol. 70, nº 4, pp. 295-318, 2013.

    F. Ferreira, G. Ferreira, "Interpretability in Robinson's Q", The Bulletin of Symbolic Logic, vol. 19, nº 3, pp. 289-317, 2013.

    A. M. Fernandes, F. Ferreira, G. Ferreira, "Techniques in weak analysis for conservation results", New Studies in Weak Arithmetics, CSLI Publications, P. Cegielski, Ch. Cornaros, C. Dimitracopoulos (Eds.), CSLI Lecture Notes Number 211, pp. 115-147, 2013.

    F. Ferreira, G. Ferreira, "Atomic polymorphism", The Journal of Symbolic Logic 78, pp. 260-274, 2013.

    G. Ferreira, P. Oliva, "On the relation between various negative translations", Logic, Construction, Computation, Ontos-Verlag Mathematical Logic Series, vol. 3, pp. 227-258, 2012.

    G. Ferreira, P. Oliva, "On bounded functional interpretations", Annals of Pure and Applied Logic, vol. 163, nº 8, pp. 1030-1049, 2012.

    G. Ferreira, P. Oliva, "Functional interpretations of intuitionistic linear logic", Logical Methods in Computer Science, vol. 7 (1:9), pp. 1-22, 2011.

    G. Ferreira, P. Oliva, "On various negative translations". In Steffen van Bakel, Stefano Berardi, Ulrich Berger (Eds.), CL&C2010, Electronic Proceedings in Theoretical Computer Science, vol. 47, pp. 21-33, 2011.

    G. Ferreira, P. Oliva, "Confined modified realizability", Mathematical Logic Quarterly, vol. 56, nº 1, pp. 13-28, 2010.

    F. Ferreira, G. Ferreira, "Commuting conversions vs. the standard conversions of the good connectives", Studia Logica, vol. 92, nº 1, pp. 63-84, 2009.

    G. Ferreira, P. Oliva, "Functional interpretations of intuitionistic linear logic", CSL2009, Lecture Notes in Computer Science, vol. 5771, pp. 3-19, Springer, 2009.

    G. Ferreira, "The counting hierarchy in binary notation", Portugaliae Mathematica, vol. 66, nº 1, pp. 81-94, 2009.

    F. Ferreira, G. Ferreira, "Harrington's conservation theorem redone", Archive for Mathematical Logic, vol. 47, pp. 91-100, 2008.

    F. Ferreira, G. Ferreira, "The Riemann integral in weak systems of analysis", Journal of Universal Computer Science, vol. 14, nº 6, pp. 908-937, 2008.

    F. Ferreira, G. Ferreira, "Counting as integration in feasible analysis", Mathematical Logic Quarterly, vol. 52, nº 3, pp. 315-320, 2006.

    G. Ferreira, I. Oitavem, "An interpretation of S^1_2 in Sigma^b_1-NIA", Portugaliae Mathematica, vol. 63, nº 4, pp. 427-450, 2006.

Teses

  • "Sistemas de Análise Fraca para a Integração". PhD thesis, Universidade de Lisboa, 2006.

    "Aritmética Computável em Espaço Polinomial". Master thesis, Universidade de Lisboa, 2001.

Publicações em actas de encontros científicos

  • "Atomic Polymorphism: an overview" (abstract). The Bulletin of Symbolic Logic, vol. 22, nº 3, pp. 379, 2016.

    "Atomic polymorphism: an elementary proof of strong normalization" (abstract). Logic Colloquium 2013. The Bulletin of Symbolic Logic, vol. 20, n 2, pp. 228, 2014.

    "On various negative translations" (with Paulo Oliva). Workshop Classical Logic and Computation, S. Bakel, S. Berardi, U. Berger (Eds.), pp. 26-40, 2010.

    "Functional interpretations of intuitionistic linear logic" (with Paulo Oliva). Workshop CCC09, Dieter Spreen editor, Universitat Siegen, pp. 22, 2009.

    "Integration in systems of weak analysis". Conference Reports, 4th International Workshop on Proof, Computation, Complexity - PCC'05; Elbl, Kahle, Oitavem (Eds.), Faculdade de Ciências e Tecnologia - Universidade Nova de Lisboa, nº 1, pp. 4-5, 2005.

    "Weak theories of arithmetic and the counting hierarchy" (abstract). Logic Colloquium 2003. The Bulletin of Symbolic Logic, vol. 10, nº 2, pp. 254, 2004.

Artigos em revistas nacionais com arbitragem científica

  • G. Ferreira, "O conjunto de todos os conjuntos não existe", Gazeta de Matemática, nº 176, pp. 24-28, 2015.

    G. Ferreira, "Quando a lógica não se contenta com a verdade", Gazeta de Matemática, nº 174, pp. 26-33, 2014.

Communications

Outras comunicações orais

- "Logic Colloquium 2013", Évora, Portugal, 22-27 July 2013. Title of the communication: Atomic Polymorphism, an elementary proof of strong normalization.

- "Workshop PCC - Proof, Computation, Complexity", Copenhagen, Denmark, 17-18 August 2012. Title of the communication: Atomic Polymorphism.

- "Days in Logic 2012", Évora, Portugal, 6-8 February 2012. Title of the communication: A unified view over the Bounded Functional Interpretations.

- "CL&C - Classical Logic and Computation", Brno, Czech Republic, 21-22 August 2010. Title of the communication: On Various Negative Translations.

- "CSL'09 - Computer Science Logic", Coimbra, Portugal, 7-11 September 2009. Title of the communication: On Bounded Functional Interpretations.

- "CCC - Continuity, Computability, Constructivity: From logic to algorithms", Koeln/Cologne, Germany, 14-18 July 2009. Title of the communication: Functional Interpretations of Intuitionistic Linear Logic.

- "PCC - Proof, Computation, Complexity", Swansea, Wales, 13-14 April 2007. Title of the communication: An Explanation for the Commuting Conversions.

- "Days in Logic'06", Coimbra, Portugal, 19-21 January 2006. Title of the communication: An Embedding of the Predicate Calculus.

- "PCC - Proof, Computation, Complexity", Lisbon, Portugal, 16-17 July 2005. Title of the communication: Integration in Systems of Weak Analysis.

- International Workshop on Computations on the Continuum, Lisbon, Portugal, 27-28 June 2005. Title of the communication: Integration in Systems of Weak Analysis.

- "PCC - Proof, Computation, Complexity", Dresden, Germany, 17-19 June 2004. Title of the communication: Weak Theories of Arithmetic and the Counting Hierarchy.

- "Days in Logic'04", Braga, Portugal, 22-24 January 2004. Title of the communication: Weak Theories of Arithmetic and the Counting Hierarchy.

- Fall School of the Logic Seminar, Pec Pod Snezkou, Czech Republic, 14-20 September 2003. Title of the communication: The Class FCH and a Theory for Analysis.

- "Logic Colloquium 2003", Helsinki, Finland, 14-20 August 2003. Title of the communication: Weak Theories of Arithmetic and the Counting Hierarchy.

- "PCC - Proof, Computation, Complexity", Tubingen, Germany, 8-9 April 2002. Title of the communication: Polynomial Space Computable Arithmetic and Analysis.

Comunicações orais por convite

- "Workshop on Bounded Arithmetic", Prague, Czech Republic, 2-3 November 2017. Title of the communication: Analysis in Weak Systems.

- "Logic Colloquium 2015", Helsinki, Finland, 3-8 August 2015. Title of the communication: Atomic Polymorphism: an overview.

- National Meeting of the Portuguese Mathematical Society, Lisbon, Portugal, 20-23 June 2006. Title of the communication: Uma Imersão do Cálculo de Predicados.