| 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-2.15 |
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 |
Publicações selecionadas | - 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.
- Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg: Lightweight specification and analysis of dynamic systems with rich configurations. In proceedings of the 2016 24th ACM SIGSOFT Interna- tional Symposium on Foundations of Software Engineering (FSE’16), pages 373-383. ACM, 2016.
|
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: - Algoritmos e Complexidade [8503O8]: turno TP 1
- Laboratório de Algoritmia II [8504P1]: turno PL 1
- Programação Imperativa [J302N5]: turnos T 1 e TP 1
- Algoritmos e Complexidade [J303N6]: turno TP 1
- Métodos Formais em Engenharia de Software [ME78ME7800003255]: turnos T 1, TP 3, TP 4 e TP 5
- Verificação Formal [ME78ME7800005186]: turnos T 1 e TP 1
|
Serviço | - Visiting scholar at the Software Design Group at CSAIL, MIT, from February to July 2012 and from March to April 2019.
- Visiting researcher at the Office National d’Etudes et de Recherches Áerospatiales (ONERA), from September to October 2018 and June to July 2019.
- Co-chair of the 1st International Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components and of the 4th International Workshop on Bidirectional Transformations.
- Member of the Alloy board since 2018.
- Co-coordinator of the High-assurance Laboratory at INESC TEC.
|
Departamento de Informática (UM)