Curriculum Vitae
GILDA MARIA SARAIVA DIAS FERREIRA
Identificação
Identificação pessoal
- Nome completo
- GILDA MARIA SARAIVA DIAS FERREIRA
Identificadores de autor
- Ciência ID
- 0B1A-81E7-88B1
- ORCID iD
- 0000-0003-1447-9764
Endereços de correio eletrónico
- gmferreira@fc.ul.pt (Profissional)
- gilda.ferreira@uab.pt (Profissional)
Moradas
- 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 (Profissional)
- Universidade Aberta, Rua Almirante Barroso, n.º 38, 1000-013 , Lisboa, Lisboa, Portugal (Profissional)
Websites
- http://webpages.fc.ul.pt/~gmferreira/ (Profissional)
Domínios de atuação
- Ciências Exatas - Matemática
Formação
| Grau | Classificação | |
|---|---|---|
|
2006/10/03
Concluído
|
Matemática (Doutoramento)
Especialização em Álgebra, Lógica e Fundamentos
Universidade de Lisboa Faculdade de Ciências, Portugal
"Systems of Weak Analysis for Integration (in Portuguese)" (TESE/DISSERTAÇÃO)
|
Approved with distinction by unanimity |
Percurso profissional
Ciência
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2014/09/15 - 2018/01/14 | Pós-doutorado (Investigação) | 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 | Pós-doutorado (Investigação) | 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 | Pós-doutorado (Investigação) | Queen Mary - University of London, Reino Unido |
| Queen Mary - University of London, Reino Unido | ||
| 2007/10/01 - 2009/09/30 | Pós-doutorado (Investigação) | Fundação para a Ciência e a Tecnologia, Portugal |
| Queen Mary - University of London, Reino Unido |
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2018/01/15 - Atual | Professor Auxiliar (Docente Universitário) | Universidade Aberta Departamento de Ciências e Tecnologia, Portugal |
| 2017/04/01 - 2018/01/14 | Professor Auxiliar Convidado (Docente Universitário) | Universidade Aberta, Portugal |
| 2011/02/01 - 2015/02/28 | Professor Auxiliar (Docente Universitário) | Universidade Lusófona de Humanidades e Tecnologias, Portugal |
| 2008/09/01 - 2010/04/30 | Monitor (Docente Universitário) | Queen Mary - University of London, Reino Unido |
| Queen Mary - University of London, Reino Unido | ||
| 2002/10/15 - 2005/02/28 | Monitor (Docente Universitário) | Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
| Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2014/09 - 2018/01/14 | Proof-theory: a logical-computational approach
SFRH/BPD/93278/2013
Bolseiro de Pós-Doutoramento
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2007 - 2014/09 | Postdoctoral project in Mathematical Logic - Proof Theory
SFRH/BPD/34527/2006
Bolseiro de Pós-Doutoramento
Queen Mary - University of London, Reino Unido
Centro de Matemática e Aplicações Fundamentais - Universidade de Lisboa, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2001/11/01 - 2005/10/31 | Systems of Weak Analysis for Integration
SFRH/BD/4859/2001
Bolseiro de Doutoramento
Universidade de Lisboa Faculdade de Ciências, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2000/10/01 - 2001/09/30 | Polynomial Space Computable Arithmetic
SFRH/BM/77/2000
Bolseiro de Mestrado
Universidade de Lisboa Faculdade de Ciências, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2010/03/01 - 2013/08/01 | Functional interpretations of arithmetic and analysis
PTDC/MAT/104716/2008
Investigador
Centro de Matemática e Aplicações Fundamentais - Universidade de Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2010/01/01 - 2011/06/30 | Computation-Sensitive Proofs
info:eu-repo/grantAgreement/RCUK/EPSRC/EP2%FH0118032%F1/GB
Investigador
Queen Mary - University of London, Reino Unido
|
Engineering and Physical Sciences Research Council
Concluído
|
| 2005/03/01 - 2007/12/01 | Formal systems of arithmetic and computability
POCI/MAT/61720/2004
Investigador
Centro de Matemática e Aplicações Fundamentais - Universidade de Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2006/01/01 - 2006/12/31 | Instantiation overflow
Programa Gulbenkian de Estímulo à Investigação 2005
Investigador
Universidade de Lisboa Faculdade de Ciências, Portugal
|
Fundação Calouste Gulbenkian
Concluído
|
| 2002/04/01 - 2004/12/01 | Weak systems of second-order arithmetic
Bolseiro de Doutoramento
Centro de Matemática e Aplicações Fundamentais - Universidade de Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
Produções
Publicações
| Artigo em revista |
|
| Artigo em revista (magazine) |
|
| Capítulo de livro |
|
| Tese / Dissertação |
|
Distinções
Outra distinção
| 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
|