
| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Gabinete |
---|
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 | - A. Neri, R. Barbosa and J. Oliveira. Compiling quantamorphisms for the IBM Q Experience. IEEE Transactions on Software Engineering, 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.
- 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).
- 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.
- Murta, Daniel and Oliveira, José. 2015. A study of risk-aware program transformation. Science of Computer Programming, 110:51-77, 2015. (DOI: 10.1016/j.scico.2015.04.008).
|
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]: turnos T 1
- Informática para a Musicologia [F105O8]: turnos T 1 e TP 1
- Informática para a Musicologia [F105P5]: turnos T 1 e TP 1
- Cálculo de Programas [J305N1]: turnos T 1, TP 2 e TP 5
- Métodos Formais em Engenharia de Software [ME78ME7800003255]: turnos T 1
- 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
|