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.

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. 

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.

Lógica Matemática;

Teoria da Demonstração;

Realizabilidade e Interpretações Funcionais;

Lógicas clássica, intuicionista e linear. 

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/)