conf.researchr.org / Jose Nuno Oliveira

Registered user since Mon 2 Mar 2020

Name:Jose Nuno Oliveira
Country:Portugal
Affiliation:University of Minho; INESC TEC
Personal website:https://www.inesctec.pt/en/people/jose-nuno-oliveira
Research interests:Functional programming, formal methods

Contributions

ICSE 2024 Award Co-Chair in Organising Committee
Haskell 2023 Committee Member in Program Committee within the Haskell 2023-track
ESEC/FSE 2022 Author of Quantitative Relational Modelling with QAlloy within the Research Papers-track
MODELS 2022 Author of Verification of Railway Network Models with EVEREST within the Technical Track-track
Q-SE 2021 Committee Member in Program Committee within the Q-SE 2021-track
Haskell 2020 Author of Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl) within the Haskell 2020-track