Departamento de Informática (UM)

1171

Maria João Gomes Frade

Prof. Auxiliar

Lógica e Métodos Formais

E-mail
Ext.: +604445

E7-2.15

Qualificações: 1991 - Licenciatura em Matemática e Ciências da Computação (U. Minho); 1995 - Mestre em Ciências da Computação (U. Minho); 2004 - Doutoramento em Fundamentos da Computação (U. Minho)

Página pessoal: http://www.di.uminho.pt/~mjf

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

• Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto: 'A generalized program verification workflow based on loop elimination and SA form'. FormaliSE@ICSE 2019: 75-84
• M. J. Frade, J. S. Pinto. Verification Conditions for Source-level Imperative Programs. In Computer Science Review, Volume 5, Issue 3, pp. 252-277, 2011. Elsevier.
• Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto: 'A Generalized Approach to Verification Condition Generation'. COMPSAC (1) 2018: 194-203
• J. B. Almeida, M. J. Frade, J. S. Pinto, S. Melo de Sousa. Rigorous Software Development - An Introduction to Program Verification. Springer, 2011. ISBN 978-0-85729-017-5.
• Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto: 'Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach'. ESOP 2016: 41-67

Projetos

• Verificação de Segurança para Software Robótico (PTDC/CCI-INF/29583/2017)
• Análise e Verificação de Programas Concorrentes Críticos (PTDC/EIA-CCO/117590/2010)
• CROSS - Uma infra-estrutura para a certificação e re-engenharia de Software Livre (PTDC/EIA-CCO/108995/2008)

Docência

Regências:

• Métodos Formais em Engenharia de Software (MEINF)
• Programação Funcional (ENGINF)
• Semântica das Linguagens de Programação (CCOM)

Aulas:

• Semântica das Linguagens de Programação [8506O8]: turnos T 1 e TP 1
• Programação Funcional [J301N4]: turnos T 1, TP 1 e TP 2
• Métodos Formais em Engenharia de Software [ME78ME7800003255]: turnos T 1 e TP 5
• Verificação Formal [ME78ME7800005186]: turnos T 1 e TP 1

Serviço

• Docente do Departamento de Informática da U. Minho (desde 1992)