Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Sobre
Download foto HD

Sobre

Sou professor no Departamento de Informática da Universidade do Minho e investigador do HASLab / INESC TEC. Também sou membro do IFIP WG 2.1 (Algorithmic Languages and Calculi) e da Associação Formal Methods Europe (FME). Faço parte do conselho editorial da revista Formal Aspects of Computing da Springer.

Meus interesses de investigação estão focados em métodos formais, álgebra de programação (cálculo de programas) e programação funcional. Publiquei recentemente sobre álgebra de relações e sua aplicação à programação. Atualmente, estou a desenvolver uma álgebra linear de programação que quero aplicar à verificação de sistemas de software complexos tolerantes a falhas.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    José Nuno Oliveira
  • Cargo

    Investigador Coordenador
  • Desde

    01 novembro 2011
  • Nacionalidade

    Portugal
  • Contactos

    +351253604440
    jose.n.oliveira@inesctec.pt
004
Publicações

2020

Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl)

Autores
Santos, A; Oliveira, JN;

Publicação
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell

Abstract

2020

Formal Methods. FM 2019 International Workshops

Autores
Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; Marmsoler, D; Campos, J; Astarte, T; Gonnord, L; Cerone, A; Couto, L; Dongol, B; Kutrib, M; Monteiro, P; Delmas, D;

Publicação
Lecture Notes in Computer Science

Abstract

2020

Formal Methods. FM 2019 International Workshops

Autores
Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; Marmsoler, D; Campos, J; Astarte, T; Gonnord, L; Cerone, A; Couto, L; Dongol, B; Kutrib, M; Monteiro, P; Delmas, D;

Publicação
Lecture Notes in Computer Science

Abstract

2019

Formal Methods – The Next 30 Years

Autores
ter Beek, MH; McIver, A; Oliveira, JN;

Publicação
Lecture Notes in Computer Science

Abstract

2018

Programming from metaphorisms

Autores
Oliveira, JN;

Publicação
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Abstract
This paper presents a study of the metaphorism pattern of relational specification, showing how it can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement studied in this paper is a strategy known as change of virtual data structure. By framing metaphorisms in the class of (inductive) regular relations, sufficient conditions are given for such implementations to be calculated using relation algebra. The strategy is illustrated with examples including the derivation of the quicksort and mergesort algorithms, showing what they have in common and what makes them different from the very start of development.

Teses
supervisionadas

2019

Rust para Sistemas Críticos

Autor
André Brandão de Pinho

Instituição
UM

2018

Towards Quantum Program Calculation

Autor
Ana Isabel Carvalho Neri

Instituição
UM

2017

Pointfree Program Calculation — Theory and Applications

Autor
Claudia Monica Necco

Instituição
UM

2016

Pointfree Program Calculation — Theory and Applications

Autor
Claudia Mónica Necco

Instituição
UM

2015

Automatic Rewrite Proofs by Reflection in Agda

Autor
Victor Cacciari Miraldo

Instituição
UM