معرفی
Alcino Cunha is an Associate Professor with habilitation at the Department of Informatics of the University of Minho. He is a member and co-coordinator of the High-Assurance Software Laboratory, part of the University of Minho and INESC TEC. His research focuses on making formal software design accessible, particularly through advancements in the Alloy framework, including Alloy4Fun and Alloy Version 6. He has contributed to tools like HAROS for robotic software verification and Echo for model repair.
Teaching roles include Formal Methods in Software Engineering (MSc), Formal Verification (MSc), and Algorithmic Problem Solving Lab (BSc). He has led projects such as SAFER (robotic safety verification), TRUST (Alloy-based design), and DigiLightRail (railway network verification). His service includes PC roles at SEFM 2025, ABZ 2025, and QRARSAC conferences.
Research highlights include formal specification education, temporal relational modeling (Pardinus), and verification of distributed systems. Collaborations with ONERA and INESC TEC have produced influential frameworks like Alloy4Fun and Electrum. His work bridges academia and industry, notably through consultancy with EFACEC and contributions to national CRIS ecosystems (PTCRISync).
