Rui Couto, PhD

Senior Researcher, HASLab

Linkedin » Google Scholar » DBLP »

Projects

TRUST

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.

POCI-01-0145-FEDER-016826

View details »

Learnability Model

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

View details »

InteGRID

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 »

UpGrid

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

BIM-2013_BestCase_RL8.1_UMINHO

View details »

Modelery

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

BD1-2012_UMINHO

View details »


Activities

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.


Resources


Contacts

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