Departamento de Informática (UM)

Página institucional

1917

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaço

1917

Manuel Alcino Pereira Cunha

Prof. Auxiliar

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 )

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 5
  • Algoritmos e Complexidade [J303N6]: turno TP 3
  • Métodos Formais em Engenharia de Software [ME78ME7800003255]: turnos T 1, T 2, TP 1, TP 2, 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.

[ Quadro de todo o pessoal do DIUM ]