| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
|---|
1917 | Manuel Alcino Pereira Cunha | Prof. Associado c/ Agregação | Lógica e Métodos Formais | E-mail
Ext.: +604444 | E7-1.16 |
Qualificações: 1996 - Licenciatura em Engenharia de Sistemas e Informática (U. Minho); 2001 - PAPCC em Informática (U. Minho); 2005 - Doutoramento em Informática (U. Minho) | Página pessoal: https://alcinocunha.github.io/ |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP | CV |
Publicações selecionadas | - Cunha, Alcino, Nuno Macedo, José Creissac Campos, Iara Margolis, and Emanuel Sousa: Assessing the impact of hints in learning formal specification. In proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET'24), pages 151-161. ACM, 2024.
- Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva: Experiences on teaching Alloy with an automated assessment platform. Science of Computer Programming 211: 102690. Elsevier, 2021.
- Nuno Macedo, Jorge Tiago, Alcino Cunha: A Feature-based Classification of Model Repair Approaches. IEEE Transactions on Software Engineering 43(7): 615-640. IEEE, 2017.
- Nuno Macedo, Alcino Cunha: Least-change bidirectional model transformation with QVT-R and ATL. Software and System Modeling 15(3): 783-810. Springer, 2016.
- José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença: Teaching how to program using automated assessment and functional glossy games (experience report). In proceedings of the 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP’18). PACM(2):82:1-82:17. ACM, 2018. Experience report.
|
Projetos | - SpecRep - Constraint-based Specification Repair. FCT, EXPL/CCI-COM/1637/2021. ( Co-PI )
- SAFER - Safety Verification for Robotic Software. FCT, PTDC/CCI-INF/29583/2017. ( PI )
- TRUST - Trustworthy Software Design with Alloy. FCT, PTDC/EEI-CTP/2904/2014. ( PI )
- FATBIT - Foundations, Applications and Tools for Bidirectional Transformation. FCT, PTDC/EIA-CCO/120838/2010. ( PI )
- DigiLightRail: Solução de Automação do Ciclo de Vida de Projectos de Sinalização Ferroviária (INESCP-SERV-50/20, 2020-2023)
|
Docência | Regências: | Aulas: - Laboratório de Algoritmia II [8504P1]: turno PL 1
- Programação Imperativa [J302N5]: turnos T 1 e TP 1
- Verificação Formal [ME78ME7800005186]: turnos T 1 e TP 1
|
Serviço | - Co-chair of ABZ'26, QRARSAC'23, QRARSAC'21, and BX'15.
- Visiting scholar at the Software Design Group at CSAIL, MIT, March to June 2026, March to April 2019, February to July 2012.
- Visiting sholar at the Software Design and Analysis Group at S3D, CMU, November to December 2025.
- Visiting researcher at the Office National d’Etudes et de Recherches Áerospatiales, June to July 2019, September to October 2018.
- Member of the Alloy board since 2018.
|
Departamento de Informática (UM)