Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
José Nuno Oliveira
Investigador Coordenador
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.
Publicações
Why Adjunctions Matter—A Functional Programmer Perspective
Oliveira, JN;
2023
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
On difunctions
Backhouse, R;Oliveira, JN;
2023
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Type-safe two-level data transformation
Cunha, A;Oliveira, JN;Visser, J;
2006
FM 2006: FORMAL METHODS, PROCEEDINGS
A relational model for confined separation logic
Wang, SL;Barbosa, LS;Oliveira, JN;
2008
TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS
