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.

      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:

      J. Espírito Santo, G. Ferreira, A refined interpretation of intuitionistic logic by means of atomic polymorphism, Studia Logica (2019). Doi: https://doi.org/10.1007/s11225-019-09858-1

      G. Ferreira, V. T. Vasconcelos, The computational content of atomic polymorphism. Logic Journal of the IGPL, 27(5):625-638 (2019). https://doi.org/10.1093/jigpal/jzy076

      G. Ferreira, Atomic polymorphism and the existence property. Annals of Pure and Applied Logic, 169(12):1303:1316 (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, 56(5-6):523-539 (2017). Doi: 10.1007/s00153-017-0555-6

      G. Ferreira, Rasiowa-Harrop disjunction property. Studia Logica, 105(3):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, 25(2):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, 45(1):1-15 (2016). Doi: 10.18778/0138-0680.45.1.01

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

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

       



    Informações Complementares:
      (página atualizada em 5 de março de 2020)