Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About
Download Photo HD

About

I am professor of Computer Science at the Informatics Department of University of Minho and researcher at HASLab/ INESC TEC. I am also a member of IFIP WG 2.1 (Algorithmic Languages and Calculi) and of the Formal Methods Europe (FME) Association. I serve on the editorial board of Springer journal Formal Aspects of Computing.
RESEARCH 
My research interests are focussed on formal methods, algebra of programming (program calculation) and functional programming. I've published recently on relation algebra and its application to programming. Currently, I am developing a linear algebra of programming which I want to apply to the verification of complex software systems, including quantum ptogramming.

Interest
Topics
Details

Details

  • Name

    José Nuno Oliveira
  • Role

    Research Coordinator
  • Since

    01st November 2011
  • Nationality

    Portugal
  • Contacts

    +351253604440
    jose.n.oliveira@inesctec.pt
004
Publications

2020

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

Authors
Santos, A; Oliveira, JN;

Publication
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell

Abstract

2020

Formal Methods. FM 2019 International Workshops

Authors
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;

Publication
Lecture Notes in Computer Science

Abstract

2020

Formal Methods. FM 2019 International Workshops

Authors
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;

Publication
Lecture Notes in Computer Science

Abstract

2019

Formal Methods – The Next 30 Years

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

Publication
Lecture Notes in Computer Science

Abstract

2018

Programming from metaphorisms

Authors
Oliveira, JN;

Publication
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.

Supervised
thesis

2019

Rust para Sistemas Críticos

Author
André Brandão de Pinho

Institution
UM

2018

Towards Quantum Program Calculation

Author
Ana Isabel Carvalho Neri

Institution
UM

2017

Pointfree Program Calculation — Theory and Applications

Author
Claudia Monica Necco

Institution
UM

2016

Pointfree Program Calculation — Theory and Applications

Author
Claudia Mónica Necco

Institution
UM

2015

Automatic Rewrite Proofs by Reflection in Agda

Author
Victor Cacciari Miraldo

Institution
UM