Personal information

Activities

Employment (1)

Universidade do Porto: Porto, PT

(Ciência de Computadores)
Employment
Source: Self-asserted source
Nelma Moreira

Education and qualifications (2)

Universidade do Porto: Porto, Porto, PT

1992 to 1997 | PhD (Ciência de Computadores)
Education
Source: Self-asserted source
Nelma Moreira

Universidade do Porto: Porto, Porto, PT

1979 to 1984 | Licenciatura (Matemática)
Education
Source: Self-asserted source
Nelma Moreira

Professional activities (3)

Saint Mary's University: Halifax, Nova Scotia, CA

2014-05 to 2014-06 | Invited researcher (Mathematics and Computer Science)
Invited position
Source: Self-asserted source
Nelma Moreira

University of Milan: Milan, IT

2014-02 to 2014-03 | Invited Researcher (Computer Science)
Invited position
Source: Self-asserted source
Nelma Moreira

Western University: London, Ontario, CA

2010-08 to 2010-12 | Invited Researcher (Computer Science)
Invited position
Source: Self-asserted source
Nelma Moreira

Funding (9)

AVIACC Analysis and Verification of Safe Concurrent Programs

2012 to 2015 | Contract
N/A (N/A, PT)
Source: check_circle
CIÊNCIAVITAE

CANTE Descriptional and Computational Complexity of Formal Languages,

2010 to 2013 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
Source: check_circle
CIÊNCIAVITAE

CSI Cryptographic Security of Individual Instances

2010 to 2012 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

FCT/ PTDC/EIA-CCO/099951/2008

Source: check_circle
CIÊNCIAVITAE

IJUP2010 Análise Social e Linguística nas Memórias do Trabalho

2010 to 2010 | Contract
Universidade do Porto (Porto, PT)
GRANT_NUMBER:

IJUP/IPG162,

Source: check_circle
CIÊNCIAVITAE

RESCUE Reliable and Safe Code Execution for Embedded Systems,

2008 to 2011 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

FCT/ PTDC/ EIA/ 65862/ 2006

Source: check_circle
CIÊNCIAVITAE

IPG 2007 Education and Language in Memories of Labour

2007 to present | Contract
Universidade do Porto (Porto, PT)
GRANT_NUMBER:

IPG 118

Source: check_circle
CIÊNCIAVITAE

ASA Automata, Semigroups and Applications,

2007 to 2009 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

PTDC/ MAT/ 65481/ 2006

Source: check_circle
CIÊNCIAVITAE

MTCIO Memórias do trabalho: processos de obtenção duma identidade operária

2006 to 2008 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

POCI/ CED/ 60786/ 2004

Source: check_circle
CIÊNCIAVITAE

AGILMAT Geração Automática de Exercícios Interactivos para Ensino de Matemática

2003 to 2006 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

POSI/ CHS/ 48565/ 2002,

Source: check_circle
CIÊNCIAVITAE

Peer review (9 reviews for 9 publications/grants)

Review activity for Acta informatica. (1)
Review activity for Acta informatica. (1)
Review activity for Annals of mathematics and artificial intelligence. (1)
Review activity for Annals of mathematics and artificial intelligence. (1)
Review activity for Discrete mathematics. (1)
Review activity for Frontiers of Information Technology & Electronic Engineering. (1)
Review activity for Information and computation. (1)
Review activity for Journal of computer languages. (1)
Review activity for Theoretical computer science. (1)