+351 253604444

Alcino Cunha

I’m an Assistant Professor at the Department of Informatics of University of Minho. I’m also a member (and currently co-coordinator) of the High-Assurance Software Laboratory, a research center of University of Minho and of the INESC TEC associate laboratory.


My research aims to help developers build more reliable software. Together with several collaborators at INESC TEC and ONERA, I’m currently developing a new formal specification language and analysis tool for software design - the Electrum framework. Electrum is based on the popular Alloy modeling language and analyser, for which we also developed Alloy4Fun, a web application for sharing and learning Alloy. I’m also currently leading a project that aims to develop new analysis techniques for robotic software developed with ROS, to be integrated in the HAROS framework. In the past, my research focused on the topic of model driven software development, namely I helped develop the Echo framework for model repair and (bidirectional) transformation.


02/05/21 Our Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components has been accepted at IROS’21. The live session is scheduled for October 1st, 2021, from 14h to 16h.
02/03/21 Electrum will be part of Alloy 6!
23/02/21 A tool paper about the HAROS framework has been accepted at RoSE’21!
01/07/20 We’ve got a paper accepted at IROS’20 about verification of system-wide safety properties of ROS applications!
26/03/20 Some good news amidst this terrible pandemic: we’ve got two papers accepted at ABZ’20, one about Alloy4Fun and another describing our implementation of the Adaptive Exterior Light and Speed Control System case study using Electrum. Like many others, the conference itself will be postponed to 2021.


I currently teach in the following courses at University of Minho:



Past projects:


Some selected publications:

My full publication list can be found at DBLP or Scholar.






I love traveling, photography (Flickr, Instagram, 500px), and cycling (Strava). My wife Rosa Cabecinhas is an Associate Professor at the Institute of Social Sciences at University of Minho.