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.
Projetos
Publicações
On the Relational Basis of Early R/G Work
Oliveira, N;
2024
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
Madeira, A;Oliveira, JN;Proença, J;Neves, R;
2025
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
An integrated formal methods tool-chain and its application to verifying a file system model
Ferreira, MA;Oliveira, JN;
2009
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Extended Static Checking by Calculation Using the Pointfree Transform
Oliveira, JN;
2009
LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT
Teses Orientadas
Rust para Sistemas Críticos
André Brandão de Pinho
M - 2019
UM-EEUM
Towards ‘Just Good Enough’ Quantum Programming
Ana Isabel Carvalho Neri
D - 2020
UM-EEUM
Towards ‘Just Good Enough’ Quantum Programming
Ana Isabel Carvalho Neri
M - 2018
UM-EEUM
Towards ‘Just Good Enough’ Quantum Programming
Ana Isabel Carvalho Neri
M - 2018
UM-EEUM
