FotoGILDA FERREIRA
    (Professora Auxiliar)
    Telf.: 21 391 6300 | E-Mail: gilda.ferreira@uab.pt
    Página Pessoal: http://webpages.fc.ul.pt/~gmferreira/


    Unidade(s) Curricular(es):

    Funções:
      - Coordenação do Doutoramento em Álgebra Computacional;
      - Orientações em curso: 1 tese de doutoramento, 4 dissertações de mestrado, 1 estágio de aluno Erasmus+
      - Participação em grupos de trabalho (Grupo de Gestão da Oferta em ALV do DCeT, Grupo de Gestão de Procedimentos do DCeT)
      - Membro do CMAFcIO-Centro de Matemática, Aplicações Fundamentais e Investigação Operacional da Universidade de Lisboa e do LaSIGE-Laboratório de Sistema Informáticos de Grande Escala da Universidade de Lisboa.


    Habilitações Académicas:
      Doutoramento em Matemática, área de Álgebra, Lógica e Fundamentos, pela Faculdade de Ciências da Universidade de Lisboa, out. 2006;
      Mestrado em Matemática, área de Álgebra, Lógica e Fundamentos, pela Faculdade de Ciências da Universidade de Lisboa, jan. 2002;
      Licenciatura em Matemática, ramo científico, pela Faculdade de Ciências da Universidade de Lisboa, jul. 1999. 


    Experiência Profissional:

      jan/2018 - presente   Professora Auxiliar na Secção de Matemática do Departamento de Ciências e Tecnologia da Universidade Aberta.

      abr/2017 - jan/2018 – Professora Auxiliar Convidada na Secção de Matemática do Departamento de Ciências e Tecnologia da Universidade Aberta.

      set/2014 - jan/2018 – Investigadora no Laboratório de Sistemas Informáticos de Grande Escala  (LASIGE) da Faculdade de Ciências da Universidade de Lisboa com uma bolsa de pós-doutoramento de referência SFRH/BPD/93278/2013 da Fundação para a Ciência e a Tecnologia.

      fev/2011 - fev/2015 – Professora Auxiliar no Departamento de Matemática da Universidade Lusófona de Humanidades e Tecnologias.

      out/2010 - set/2014    Investigadora no Centro de Matemática e Aplicações Fundamentais (CMAF) da Faculdade de Ciências da Universidade de Lisboa com uma bolsa de pós-doutoramento de referência SFRH/BPD/34527/2006 da Fundação para a Ciência e a Tecnologia.

      out/2007 - set/2010 –  Investigadora na Queen Mary University of London, Reino Unido. Nos dois primeiros anos com uma bolsa de pós-doutoramento de referência SFRH/BPD/34527/2006 da Fundação para a Ciência e a Tecnologia e no último ano como Research Assistant no âmbito dos projetos EP/F02309X/1 e EP/H011803/1 financiados pelo Engineering and Physical Sciences Research Council (EPSRC).

      set/2008 - abr/2010 – Teaching Assistant na School of Mathematical Sciences da Queen Mary University of London.

      nov/2005 - set/2007 – Consultora na Fundação para a Ciência e a Tecnologia, no âmbito da Gestão de despesas de Estrutura  (Gastos Gerais) de projetos de investigação científica, desempenhando, entre outras, as seguintes funções:

      ·      análise e aprovação de modelos de imputação de despesas indiretas;

      ·      auditoria a Instituições de Acolhimento de projetos de investigação científica.

      out/2002 - fev/2005 – Monitora no Departamento de Matemática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa



    Área(s) de Interesse Científico e de Investigação:
      Lógica Matemática; Teoria da Demonstração; Realizabilidade e Interpretações Funcionais; Lógicas clássica, intuicionista e linear. 


    Publicações mais Recentes:
      - G. Ferreira, V. T. Vasconcelos, The computational content of atomic polymorphism. Logic Journal of the IGPL (2018). https://doi.org/10.1093/jigpal/jzy076

      G. Ferreira, Atomic polymorphism and the existence property. Annals of Pure and Applied Logic (2018). https://doi.org/10.1016/j.apal.2018.08.004 

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

      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 the IGPL, vol. 25, nº 2, pp. 115-130 (2017). Doi: 10.1093/jigpal/jzw035
         
      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)

      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). Doi: 10.18778/0138-0680.45.1.01

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

      (Ver lista completa em http://webpages.fc.ul.pt/~gmferreira/)