Rui Couto, PhD

Senior Researcher, HASLab

Linkedin » Google Scholar » DBLP »



Trustworthy Software Design with Alloy. The main goal of this project is to develop a methodology for trustworthy software design that is both formal, unified, and lightweight.


View details »

Learnability Model

Exploratory project on the analysis of user interaction with the OutSystems platform.

View details »


InteGrid’s vision is to bridge the gap between citizens and technology/solution providers such as utilities, aggregators, manufacturers and all other agents providing energy services, hence expanding from DSOs distribution and access services to active market facilitation and system optimisation services while ensuring sustainability, security and quality of supply.

Horizon 2020, grant agreement No 731218

View details »


Real proven solutions to enable active demand and distributed generation flexible integration, through a fully controllable LOW Voltage and medium voltage distribution grid.

Horizon 2020, grant agreement No 646.531

View details »

IVY Workbench


View details »


A model's repository, as a support for model driven development processes, and models refinement - Models Refinery.


View details »


Senior Researcher at HASLab

I have been working on the application of model driven techniques and tools to the software development process since then. I am particularly interested in bringing closer the software engineering (SE) and requirements engineering (HCI) fields, with a focus on automated reasoning techniques and tools.

View details »

Invited Assistant Professor

I've been lecturing classes on Object Oriented Programming and software architectures design, resorting to UML.



Find-me at University of Minho, Informatics Department, Lab 2.13, or,
Contact-me at ruicouto (at)