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

2024

ICSE

Award Co-Chair in Organising Committee

2023

Haskell

Committee Member in Program Committee within the Haskell 2023-track

2022

ESEC/FSE

Author of Quantitative Relational Modelling with QAlloy within the Research Papers-track

MODELS

Author of Verification of Railway Network Models with EVEREST within the Technical Track-track

2021

Q-SE

Committee Member in Program Committee within the Q-SE 2021-track

2020

Haskell

Author of Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl) within the Haskell 2020-track