Logo

alcino@di.uminho.pt
+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.

Research

My research aims to make formal software design more accessible for all software engineers. Together with colleagues at INESC TEC and ONERA, we developed the new version 6 of the popular Alloy formal specification framework, and also Alloy4Fun, a web application for sharing and learning Alloy. I’m also interested in making formal analysis techniques easier to use by roboticists developing software with ROS. Some of these techniques are currently available 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.

News

31/01/23 The 2nd QRARSAC workshop will be held at ICRA’23 on June 2nd. If you work on the topic of robotic software quality, please consider submitting an abstract!
29/11/22 We’ve been nominated for best paper award at IRC’22 with our paper Variability Analysis for Robot Operating System Applications!
12/09/22 The paper Pardinus: A Temporal Relational Model Finder about the analysis backend of Alloy 6 was published at the Journal of Automated Reasoning.
13/07/22 Our paper Verification of Railway Network Models with EVEREST has been accepted at the Practice & Innovation Track of MODELS 2022! This was joint work with EFACEC in the context of the DigiLightRail project.
15/06/22 Our paper Quantitative relational modelling with QAlloy has been accepted at ESEC/FSE’22!
26/03/22 Our paper Schema-guided Testing of Message-Oriented Systems won the best paper award at ENASE’22!

Teaching

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

Projects

Ongoing:

Past projects:

Publications

Some selected publications:

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

Students

Current:

Alumni:

Service

Personal

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.