Departamento de Informática (UM)

Página institucional

88

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaço

88

José Nuno Fonseca Oliveira

Prof. Catedrático

Lógica e Métodos Formais

E-mail
Ext.: +604462

E7-2.05

Qualificações: 1978 - Licenciatura em Engenharia Electrotécnica (FEUP); 1981 - MSc em Computer Science (Univ. Manchester, UK); 1984 - PhD em Computer Science (Univ. Manchester, UK); 2010 - Agregação em Fundamentos da Computação (Univ. Minho)

Página pessoal: http://www.di.uminho.pt/~jno

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • P. Silva, J.N. Oliveira, N. Macedo and A. Cunha. Quantitative relational modelling with QAlloy. Proc. of ESEC/FSE 2022, Association for Computing Machinery, Inc (ACM), pp. 885-896.
  • A. Neri, R.S. Barbosa, and J.N. Oliveira. Compiling quantamorphisms for the IBM Q-Experience. In IEEE Transactions on Software Engineering, Volume: 48, Issue: 11, 01 November 2022. DOI: 10.1109/TSE.2021.3117515.
  • J.N. Oliveira, M.A. Ferreira. Alloy Meets the Algebra of Programming: A Case Study. IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15.
  • A. Santos, J.N. Oliveira. Type Your Matrices for Great Good (Functional Pearl). Proceedings of the Haskell Symposium 2020, 27-28 August 2020, pages 54-66.
  • H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. Science of Comp. Programming. Volume 78, pp.2160-2191 (DOI:10.1016/j.scico.2012.07.012).

Projetos

  • IBEX (Quantitative methods for cyber-physical programming: FCT, PTDC/CCI-COM/4280/2021)
  • TRUST (Trustworthy Software Design with Alloy, PTDC/EEI-CTP/2904/2014)
  • CloudDBAppliance (H2020 732051)
  • LeanBigData (Big data and data-analytics: FP7-ICT 619606)
  • PURe (Grant POSI/CHS/44304/2002)

Docência

Regências:

Aulas:

  • Cálculo de Programas [8504P3]: turno T 1
  • Informática para a Musicologia [I305N6]: turnos PL 1, T 1 e TP 1
  • Cálculo de Programas [J305N1]: turnos T 1, T 2 e TP 2
  • Cálculo de Sistemas de Informação [ME78ME7800006081]: turnos T 1 e TP 1

Serviço

  • Membro do grupo IFIP WG 2.1 (Algorithmic Languages and Calculi)
  • Membro da Associação Formal Methods Europe (FME)
  • Membro representante do HASLab no Conselho Científico da Escola de Engenharia da U.Minho
  • Membro do Conselho Científico do INESC TEC
  • General-chair do Congresso Mundial FM'19, Porto, Outubro de 2019

[ Quadro de todo o pessoal do DIUM ]