Departamento de Informática (UM)

Página institucional

1171

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosGabinete

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

  • 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.
  • 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, A. Saabas, T. Uustalu. Bidirectional data-flow analyses, type-systematically. In Proc. of 2009 ACM SIGPLAN Wksh. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 2009 (Savannah, GA, Jan. 2009), pp. 141-149. ACM Press.
  • M. J. Frade, A. Saabas, T. Uustalu. Foundational certification of data-flow analyses. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE'07 (Shanghai, June 2007) , pp. 107-116. IEEE CS Press.
  • G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu. Type-based termination of recursive definitions. In Mathematical Structures in Computer Science , v. 14, n. 1, pp. 97-141, 2004. Cambridge University Press

Projetos

(por integrar)

Docência

Regências:

Aulas:

  • Programação Funcional [8501Q8]: turnos TP 1
  • Lógica Computacional [8505O5]: turnos TP 2
  • 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, TP 1, TP 2, TP 3 e TP 4
  • Verificação Formal [ME78ME7800005186]: turnos T 1 e TP 1

Serviço

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

[ Quadro de todo o pessoal do DIUM ]