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 | CV

Publicações selecionadas

• Maria João Frade, Jorge Sousa Pinto: A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3. J. Log. Algebraic Methods Program. 133: 100871 (2023)
• 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
• 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.
• 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.

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:

• Programação Funcional (ENGINF)

Aulas:

• Programação Funcional [J301N4]: turnos T 1, TP 1, TP 2 e TP 6
• Métodos Formais em Engenharia de Software [ME78ME7800003255]: turno TP 2

Serviço

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