Alexandra Sofia Ferreira Mendes (BC13-FECB-2C78)

Curriculum Vitae

Alexandra Sofia Ferreira Mendes

Alexandra Sofia Ferreira Mendes obtained her PhD from the University of Nottingham, UK. She also holds a Postgraduate Certificate in Postgraduate Certificate in Academic Practice from York St John University, UK. She is currently a senior researcher at HASLab, INESC TEC and Assistant Professor at the Department of Informatics Engineering at Faculty of Engineering, University of Porto. Previously, she was a Lecturer/Senior Lecturer in the UK for five years. The main focus of her research is software reliability, in particular through the use of software verification. She has papers published in co-authorship with over 50 collaborators, the vast majority international researchers outside her own institution. She has received 7 awards and/or honors.

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: Alexandra Sofia Ferreira Mendes

Nomes de citação

Mendes, Alexandra

Identificadores de autor

Ciência ID: BC13-FECB-2C78
ORCID iD: 0000-0001-8060-5920

Moradas

R. Dr. Roberto Frias, 4200-465, Porto, Porto, Portugal (Profissional)

Websites

https://archimendes.com (Profissional)

Domínios de atuação

Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão	Peer-review
Inglês	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C2)
Português (Idioma materno)

Formação

	Grau	Classificação
2014/03 - 2015/03 Concluído	Postgraduate Certificate in Academic Practice (Postgraduate Certificate) York St John University, Reino Unido	Distinction
2006 - 2012 Concluído	Doctor of Philosophy in Computer Science (Doctor of Philosophy) University of Nottingham, Reino Unido "Structure Editing of Handwritten Mathematics" (TESE/DISSERTAÇÃO)	N/A
2000/09 - 2005/11 Concluído	Matemática e Ciências de Computação (Licenciatura) Universidade do Minho, Portugal	16

Percurso profissional

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2023/10 - 2023/11	Investigador visitante (Investigação)	Carnegie Mellon University, Estados Unidos

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2022/03 - Atual	Professor Auxiliar (Docente Universitário)	Universidade do Porto Faculdade de Engenharia, Portugal

2019/01 - 2022/02	Professor Auxiliar (Docente Universitário)	Universidade da Beira Interior, Portugal

2015/01 - 2018/09	Professor Auxiliar (Docente Universitário)	Teesside University, Reino Unido

2013/09 - 2015/01	Professor Auxiliar (Docente Universitário)	York St John University, Reino Unido

Projetos

Bolsa

	Designação	Financiadores
2025/02/15 - 2026/08/15	VeriFixer: Automated Repair for Verification-Aware Programming Languages 2023.15557.PEX Investigador responsável Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2025 - 2026	InfraGov: A Public Framework for Reliable and Secure IT Infrastructure 2024.07411.IACDC Co-Investigador Responsável (Co-IR) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Projeto

	Designação	Financiadores
2022/10 - Atual	ENACTEST - European Innovation Alliance for Testing Education 101055874-ENACTEST-ERASMUS-EDU-2021-PI-ALL-INNO Investigador Universidade do Porto Faculdade de Engenharia, Portugal	Erasmus Plus Em curso
2022 - 2023	SpecRep: Constraint-based Specification Repair EXPL/CCI-COM/1637/2021 Investigador Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2021/02/01 - 2022/06/30	PassCert: Exploring the Impact of Formal Verification on the Adoption of Password Security Software CMU/TIC/0006/2019 Investigador Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2019 - 2020	C4: Cloud Computing Competence Centre N/A Investigador Universidade da Beira Interior, Portugal	Concluído
2017 - 2018	Data Automation for Supplier Information Management and Supplier Contract Management 34R15P00416 Investigador responsável Teesside University, Reino Unido	European Regional Development Fund Concluído
2016 - 2017	A UTP Theory for Control Law Verification N/A Investigador responsável Teesside University, Reino Unido	Concluído
2015 - 2017	Review: an Innovative Intelligent Evidence Exploration System 9885 Investigador Teesside University, Reino Unido	Innovate UK Concluído
2009 - 2012	MathIS: Reinvigorating Mathematics for the Information Society PTDC/EIA/73252/2006 Bolseiro de Investigação Universidade do Minho, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2005 - 2005	GORDA -- Open Replication of Databases 004758 Bolseiro de Iniciação Científica Universidade do Minho, Portugal	European Commission Sixth Framework Programme
2004 - 2005	CAMILA: VDM meets Haskell (sub-project of PURe -- Program Understanding and Re-engineering: Calculi and Applications) POSI/ICHS/44304/2002 Outra Universidade do Minho, Portugal	Fundação para a Ciência e a Tecnologia Concluído

Outro

	Designação	Financiadores
2016 - 2017	Interfaces for Emergency Services NA Investigador responsável Teesside University, Reino Unido	Concluído

Produções

Publicações

Artigo em conferência	David Regatia; Mendes, Alexandra; Ferreira, João; Carolina Carreira. "Contract Usage and Evolution in Android Mobile Applications". Trabalho apresentado em European Conference on Object-Oriented Programming (ECOOP 2025), 2025. Aceite para publicação Porfirio Tramontana; Beatriz Marín; Ana C. R. Paiva; Mendes, Alexandra; Tanja E. J. Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino. "State of the Practice in Software Testing Teaching in Four European Countries". Trabalho apresentado em 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024, TORONTO, 2024. Aceite para publicação Álvaro F. Silva; Mendes, Alexandra; João F. Ferreira. "Leveraging Large Language Models to Boost Dafny's Developers Productivity". Trabalho apresentado em INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2024) co-located with International Conference on Software Engineering (ICSE2024), 2024. Aceite para publicação Abreu, Alexandre; Macedo, Nuno; Mendes, Alexandra. "Exploring Automatic Specification Repair in Dafny Programs". Trabalho apresentado em The 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), Luxembourg, 2023. Publicado • 10.1109/asew60602.2023.00019 Saavedra, Nuno; Gonçalves, João; Henriques, Miguel; Ferreira, João F.; Mendes, Alexandra. "Polyglot Code Smell Detection for Infrastructure as Code with GLITCH". Trabalho apresentado em 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023. 10.1109/ase56229.2023.00162 Bruno Rodrigues; Ivone Amorin; Ivan Costa; Mendes, Alexandra. "Patient-centric health data sovereignty: an approach using Proxy re-encryption". Trabalho apresentado em 18th DPM International Workshop on Data Privacy Management co-located with 28th European Symposium on Research in Computer Security (ESORICS), 2023. Publicado Ricardo Pereira; João F. Ferreira; Mendes, Alexandra; Abreu, Rui. "Extending EcoAndroid with Automated Detection of Resource Leaks". Trabalho apresentado em 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2022 (MobileSoft 2022), co-located with ICSE 2022., 2022. Miguel Grilo; João Campos; João F. Ferreira; Almeida, José Bacelar; Mendes, Alexandra. "Verified Password Generation from Password Composition Policies". Trabalho apresentado em Integrated Formal Methods 2022 (iFM 2022), 2022. Carolina Carreira; João F. Ferreira; Mendes, Alexandra. "Towards Improving the Usability of Password Managers". Trabalho apresentado em Communication accepted at INForum 2021 (INForum — Simpósio de Informática), Lisboa, 2021. Publicado Rui Lima; João F. Ferreira; Mendes, Alexandra. "Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities". Trabalho apresentado em 5th International Workshop on Refactoring (co-located with the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21)), 2021. Publicado Carolina Carreira; João F. Ferreira; Mendes, Alexandra. "Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda". Trabalho apresentado em 1st International Workshop on Applicable Formal Methods (AppFM 2021) (co-located with the 24th International Symposium on Formal Methods (FM'21)) published as a volume of the Electronic Proceedings in Theoretical Computer Science, 2021. Pereira, David; Ferreira, João; Mendes, Alexandra (BC13-FECB-2C78). "Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks". Trabalho apresentado em 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2020. 10.1109/issrew51248.2020.00079 Johnson, Saul; Ferreira, João; Mendes, Alexandra; Cordry, Julien. "Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection". Trabalho apresentado em ACM ASIA Conference on Computer and Communications Security 2020 (ASIACCS 2020) to appear, Taipei, 2020. Aceite para publicação Johnson, Saul; Ferreira, João; Mendes, Alexandra; Cordry, Julien. "Lost in Disclosure: On the Inference of Password Composition Policies". Trabalho apresentado em 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Berlin, 2019. Publicado • 10.1109/issrew.2019.00082 Hoare, Tony; Mendes, Alexandra; Ferreira, João. "Logic, algebra, and geometry at the foundation of computer science". Trabalho apresentado em Formal Methods Teaching Workshop and Tutorial (co-located with FM 2019, 3rd World Congress on Formal Methods), Porto, 2019. Publicado Ferreira, João; Mendes, Alexandra. "Open and Interactive Learning Resources for Algorithmic Problem Solving". Trabalho apresentado em 9th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2019), Porto, 2019. Mendes, Alexandra; Ferreira, João. "Towards Verified Handwritten Calculational Proofs". Trabalho apresentado em International Conference on Interactive Theorem Proving (ITP 2018), Oxford, 2018. Almohammad, A.; Ferreira, João; Mendes, Alexandra; White, P.. "ReqCap: Hierarchical requirements modeling and test generation for industrial control systems". 2017. 10.1109/REW.2017.65 Ferreira, João; Johnson, S.A.; Mendes, Alexandra; Brooke, P.J.. "Certified password quality: A case study using Coq and linux pluggable authentication modules". Trabalho apresentado em 13th International Conference on Integrated Formal Methods - University of Torino, Turin, Italy, Turin, 2017. Publicado • 10.1007/978-3-319-66845-1_27 Matthews, Jamie; Charles, Fred; Porteous, Julie; Mendes, Alexandra. "Mise-En-Scène of Narrative Actions in Interactive Storytelling (Demonstration)". Trabalho apresentado em Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017), Rio de Janeiro, 2017. Publicado Mathews, Jamie; Charles, Fred; Porteous, Julie; Mendes, Alexandra. "MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling.". Trabalho apresentado em Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017), Rio de Janeiro, 2017. Ferreira, João; Mendes, Alexandra. "The magic of algorithm design and analysis: Teaching algorithmic skills using magic card tricks". 2014. 10.1145/2591708.2591745 Mendes, Alexandra; Backhouse, R.; Ferreira, João. "Structure editing of handwritten mathematics: Improving the computer support for the calculational method". 2014. 10.1145/2669485.2669495 Ferreira, João; Mendes, Alexandra; Cunha, A.; Baquero, C.; Silva, P.; Barbosa, L.S.; Oliveira, J.N.. "Logic training through algorithmic problem solving". Trabalho apresentado em International Congress on Tools for Teaching Logic, Salamanca, 2011. Publicado • 10.1007/978-3-642-21350-2_8 Ferreira, João; Mendes, Alexandra. "Students' feedback on teaching mathematics through the calculational method". 2009. 10.1109/FIE.2009.5350478 Ferreira, João; Mendes, Alexandra; Backhouse, R.; Barbosa, L.S.. "Which mathematics for the information society?". Trabalho apresentado em International Conference on Teaching Formal Methods., Eindhoven, 2009. 10.1007/978-3-642-04912-5_4 Mendes, Alexandra. "Work in progress - Structure editing of handwritten mathematics". 2008. 10.1109/FIE.2008.4720333
Artigo em revista	Silva, Mateus; Paiva, Ana C. R.; Mendes, Alexandra. "GAMFLEW: serious game to teach white-box testing". Software Quality Journal 33 1 (2025): https://doi.org/10.1007/s11219-024-09706-z. Publicado • 10.1007/s11219-024-09706-z Broy, Manfred; Brucker, Achim; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra; et al. "Does Every Computer Scientist Need to Know Formal Methods?". Formal Aspects of Computing (2024): http://dx.doi.org/10.1145/3670795. Acesso aberto • Aceite para publicação • 10.1145/3670795 Lima, Rui; Ferreira, João F.; Mendes, Alexandra; Carreira, Carolina. "DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring". Automated Software Engineering 31 1 (2024): http://dx.doi.org/10.1007/s10515-023-00398-6. 10.1007/s10515-023-00398-6 Dunne, Steve; Ferreira, João F.; Mendes, Alexandra; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank. "bGSL: An imperative language for specification and refinement of backtracking programs". Journal of Logical and Algebraic Methods in Programming 130 (2022): 100811. http://dx.doi.org/10.1016/j.jlamp.2022.100811. Publicado • 10.1016/j.jlamp.2022.100811 Ferreira, João; Mendes, Alexandra. "A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra". Journal of Logical and Algebraic Methods in Programming 85 5 (2016): 906-920. http://www.scopus.com/inward/record.url?eid=2-s2.0-85010877241&partnerID=MN8TOARS. 10.1016/j.jlamp.2015.11.004
Poster em conferência	David R. Ferreira; João F. Ferreira; Mendes, Alexandra. "How are Contracts Used in Android Mobile Applications?". Trabalho apresentado em 46th International Conference on Software Engineering (ICSE 2024), 2024.
Pré-impressão	David R. Ferreira; João F. Ferreira; Mendes, Alexandra. "Contract Usage and Evolution in Android Mobile Applications". 2024. https://arxiv.org/abs/2401.14244.

Atividades

Orientação

	Título / Tema Papel desempenhado	Curso (Tipo) Instituição / Organização
2024/09/01 - Atual	Boosting Developers' productivity through intelligent Automation in Verification-Aware Programming Languages Orientador	Engenharia Informática (Doutoramento) Universidade do Porto Faculdade de Engenharia, Portugal
2023 - Atual	Reliable Software Configuration and Infrastructure as Code Analysis Coorientador	Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 - Atual	Automated Repair in Verification-Aware Languages Coorientador	Engenharia Informática (Doutoramento) Universidade do Porto Faculdade de Engenharia, Portugal
2023 - Atual	Extending EcoAndroid with Automated Energy Profiling Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/01/10 - Atual	Exploring Usable Security to Improve the Impact of Formal Verification Coorientador	CMU Portugal Dual Degree/ Doutoramento em Engenharia Informática e de Computadores (PDEIC) (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2024/03	The Only Human Factor: Formal and Statistical Methods for Secure Password Composition Policy Design and Deployment Coorientador	PhD in Computer Science (Doutoramento) Teesside University, Reino Unido
2024 - 2024	Evaluating High-Level SystemC Formal Verification Compared to RTL Verification -- work carried out at Synopsys Orientador	Universidade do Porto Faculdade de Engenharia, Portugal
2023 - 2024	Automated Repair for Verification-Aware Programming Languages Orientador	Engenharia Informática e Computação (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2023 - 2024	A Study on Developers’ Challenges and Struggles with Verification-Aware Languages Orientador	Engenharia Informática e Computação (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2023 - 2024	Serious game to teach software testing Coorientador	Engenharia Informática e Computação (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2023 - 2024	Detection and Refactoring of Resource Leaks on Mobile Applications Coorientador	Engenharia Informática e Computação (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023	An Investigation Into User Expectations for Formal Verification Orientador	Mestrado em Engenharia Informática e Computação (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023	Studying contract usage in Android mobile applications Orientador	Mestrado em Engenharia Informática e Computação (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023	Tablet PC Tool for Handwriting Recognition Orientador	Mestrado em Engenharia Informática e Computação (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023	Structured Manipulation of Handwritten Mathematics Orientador	Mestrado em Engenharia Informática e Computação (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023	Platform for authorized sharing of health data using Proxy Re-Encryption Orientador	Mestrado em Engenharia de Software (MESW) (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023	Automatic specification repair in contract programming Coorientador	Mestrado em Engenharia Informática e Computação (M.EIC) (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023	Extending GLITCH to Detect Code Smells in Docker Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 - 2023	Automatic Detection of Security Smells in Terraform Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2022	Automated Program Repair of Arithmetic Programs in Dafny Coorientador	Mestrado em Engenharia Informática e de Computadores (MEIC) (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2022	Formal Verification of Password Manager Security Properties Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - 2021	Serious Game for Forest Fire Prevention Orientador	Engenharia Informática (Mestrado) Universidade da Beira Interior, Portugal
2020 - 2021	On Usable Security and Verified Password Managers Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2021	Development of an Innovative Online Whiteboard Application Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2021	Improving the Security of Password Manager Browser Extensions Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2021	Reliable and Secure Smart Contracts for Blockchain Applications Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2021	Verified Smart Contracts for Double Auctions Coorientador	Mestrado em Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2020/12/16	Crowd Simulation for Interactive Entertainment Applications Coorientador	PhD in Computer Science (Doutoramento) Teesside University, Reino Unido
2020 - 2020	Mobile Game to Encourage the Use of Greener Transportation Orientador	Engenharia Informática (Licenciatura/Bacharelato) Universidade da Beira Interior, Portugal
2020 - 2020	Mobile Application for Public Transportation with "Active" Check-in/Check-out Orientador	Engenharia Informática (Licenciatura/Bacharelato) Universidade da Beira Interior, Portugal
2020 - 2020	CityPass: A Virtual Pass for Exploring Cities and for Decision Making Orientador	Engenharia Informática (Licenciatura/Bacharelato) Universidade da Beira Interior, Portugal
2019 - 2019	Web Application for handwritten presentations Orientador	Engenharia Informática (Licenciatura/Bacharelato) Universidade da Beira Interior, Portugal
2018 - 2018	Technologies that aid in officiating decisions in football: A survey and open questions Orientador	MSc Computing (Mestrado) Teesside University, Reino Unido
2018 - 2018	A review of steganographical methods used for concealing information for network communication, by using music. Can a new form of steganographical technique of utilizing music be created? Orientador	MSc Computing (Mestrado) Teesside University, Reino Unido
2016 - 2017	Several computer science themes. I supervised the following students: 1. Mihaela Brinza, 2017 2. Reece Devonport, 2017 3. Andy Emmett, 2017 4. Natalia Porras-Arbelaez, 2017 5. Grant Watson, 2017 6. Sohail Akhtar, 2016 7. Joshua Bell, 2016 8. Matthew David Chamberlain, 2016 9. Jack Cunningham, 2016 10. Christopher Lisasi, 2016 11. Sean Polyak, 2016 12. Abid Rehman, 2016 13. Jonathan Sharp, 2016 14. Martynas Zukauskas, 2016 Orientador	Teesside University, Reino Unido

Organização de evento

	Nome do evento Tipo de evento (Tipo de participação)	Instituição / Organização
2020/09/20 - Atual	Co-Chair of the 1st International Workshop on Artificial Intelligence in Software Testing, co-located with the IEEE International Conference on Software Testing, Verification and Validation 2021 (ICST 2021) (2021/04/12) Oficina (workshop) (Coorganizador)
2023 - 2024	Proceedings Chair: International Conference on the Quality of Information and Communications Technology 2024 (QUATIC 2024) (2024 - 2024) Conferência (Outra)
2022 - 2024	PC member of the 46th International Conference on Software Engineering (ICSE 2024) (2022) Conferência (Membro da Comissão Científica)
2023/05 - 2023/07	The DEI Open Day takes place annually and aims to showcase the teaching and research activities of the Department of Computer Engineering (DEI) at FEUP, with the aim of exploring collaboration opportunities with national and international companies. Responsible for the Research Laboratories Stands. (2023/07/11 - 2023/07/11) Exposição (Membro da Comissão Organizadora)	Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023	Steering Committee and Organizer of the 3rd International Workshop on Artificial Intelligence in Software Testing (AIST 2023), 2023, co-located with the IEEE International Conference on Software Testing, Verification and Validation (ICST 2023) (2022 - 2022) Oficina (workshop) (Presidente da Comissão Organizadora)
2022 - 2022	Co-Chair of the 1st International Workshop on Artificial Intelligence in Software Testing, co-located with the IEEE International Conference on Software Testing, Verification and Validation 2022 (ICST 2022) (2022 - 2023) Oficina (workshop) (Presidente da Comissão Organizadora)
2022 - 2022	Journal Editorial Board of the ACM on Human-Computer Interaction -- Interactive Surfaces and Spaces, July Round, 2022 (PACMHCI ISS) (2022 - 2022) Conferência (Membro da Comissão Científica)
2022 - 2022	Journal Editorial Board of the ACM on Human-Computer Interaction -- Interactive Surfaces and Spaces, February Round, 2022 (PACMHCI ISS) (2022 - 2022) Conferência (Membro da Comissão Científica)
2021 - 2022	- PC member of the 6th IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2021) -- Co-located with the Annual IEEE International Symposium on Software Reliability Engineering (ISSRE 2021) - PC member of the 7th and IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2022) -- Co-located with the Annual IEEE International Symposium on Software Reliability Engineering (ISSRE 2022) (2021 - 2022) Oficina (workshop) (Membro da Comissão Científica)
2021 - 2022	PC member of the 12th Workshop on Automating TEST case Design, Selection and Evaluation (A-TEST 2021) -- Co-located with the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021) - PC member of the 13th Workshop on Automating TEST case Design, Selection and Evaluation (A-TEST 2022) -- Co-located with the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022) (2021 - 2022) Oficina (workshop) (Membro da Comissão Científica)
2021 - 2021	Journal Editorial Board of the ACM on Human-Computer Interaction -- Interactive Surfaces and Spaces, Summer Round, 2021 (PACMHCI ISS) (2021 - 2021) Conferência (Membro da Comissão Científica)
2019 - 2019	Formal Methods Teaching Workshop and Tutorial (FMTea19), 2019 -- Event affiliated with FM 2019, 3rd World Congress on Formal Methods (2019) Oficina (workshop) (Membro da Comissão Científica)
2019 - 2019	ACM Interactive Surfaces and Spaces (ISS 2019) (2019) Conferência (Membro da Comissão Científica)
2019 - 2019	Organizer and Chair of the Formal Methods Teaching Workshop and Tutorial (FMTea21), 2021, affiliated with FM 2021 (2019 - 2019) Oficina (workshop) (Membro da Comissão Organizadora)
2018 - 2018	ACM Interactive Surfaces and Spaces (ISS 2018) (2018) Conferência (Membro da Comissão Científica)
2016 - 2016	ACM Interactive Surfaces and Spaces (ISS 2016) (2016) Conferência (Membro da Comissão Científica)

Júri de grau académico

	Tema Tipo de participação	Nome do candidato (Tipo de grau) Instituição / Organização
2023	Mining hints for fixing formal specifications Arguente principal	Henrique Gabriel dos Santos Neto (Mestrado) Universidade do Minho, Portugal
2023	A transformer-based GitHub Action for Vulnerability Detection Presidente do júri	André Filipe Meireles do Nascimento (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2023	Building a City Dashboard Using IoT Sensors Traffic Data Presidente do júri	João Ricardo Ribeiro Cardoso (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2023	Data-Driven Hint Generation for Alloy using Historial Student Submissions Presidente do júri	Ana Inês Oliveira de Barros (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal
2022	Automatic Repair of Behavioural Specifications Arguente principal	Jorge Gabriel Alves Cerqueira (Mestrado) Universidade do Minho, Portugal
2022	Scalable Detection of Security-Vulnerabilities in Source Code Arguente principal	Artur Jorge Gomes Queiroz (Mestrado) Universidade do Minho Departamento de Informática, Portugal
2020	Program Synthesis for User Input Validation Arguente principal	Margarida Ferreira (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020	Análise e comparação de Desempenho de Containers em Docker e em Apache Mesos Presidente do júri	David Miguel Prata Ferreira (Mestrado) Universidade da Beira Interior, Portugal
2020	Road Event Mapping Method for Mobile Devices with Cloud Computing based Technologies Presidente do júri	Yoann dos Santos Resende (Mestrado) Universidade da Beira Interior, Portugal
2020	Impacto do Uso da Plataforma de Segurança Prisma Cloud no Desempenho de Contentores do Docker Presidente do júri	Kavadiambuko Maleka Lutandila (Mestrado) Universidade da Beira Interior, Portugal
2019	Projeto de final de curso: Continuation Passing Style para instrumentação automática de programas. Arguente principal	Tiago Filipe Dias Santos Roxo (Outro) Universidade da Beira Interior, Portugal
2019	Projeto de final de curso: Incêndios, como atuar? Com agentes (mesmo) inteligentes! Arguente principal	Ana Catarina Ferreira Bernardo (Outro) Universidade da Beira Interior, Portugal
2018	VISUALISING NATURAL LANGUAGE: A TEXT-TO-SCENE APPROACH FOR RECOMMENDATIONS AND VIOLATIONS Arguente	Jonathan Siddle (Doutoramento) Teesside University, Reino Unido
2018	Identifying Helpful Information in Gaming Forums via Artificial Intelligence Arguente principal	Mark Butcher (Mestrado) Teesside University, Reino Unido
2018	Exploring the Suitability of Progressive Web App Technology in Medical Invoicing Arguente principal	Padmapriya Manoharan (Mestrado) Teesside University, Reino Unido
2017	Acquiring Planning Models from Narrative Synopses - 2nd Year Viva Arguente	Thomas Hayton (Doutoramento) Teesside University, Reino Unido
2016	Acquiring Planning Models from Narrative Synopses - 1st Year Viva Arguente	Thomas Hayton (Doutoramento) Teesside University, Reino Unido

Arbitragem científica em conferência

	Nome da conferência	Local da conferência
2025 - 2025	18th IEEE International Conference on Software Testing, Verification and Validation (ICST 2025), 2025
2025 - 2025	3rd International Workshop on evaLuation and assEssment in softwARe eNgineers’ Education and tRaining (LEARNER 2025), Co-located with the International Conference on Evaluation and Assessment in Software Engineering (EASE 2025)
2024 - 2024	IEEE/ACM 46th Int. Conference on Software Engineering (ICSE 2024), 2024
2024 - 2024	17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024), 2024
2024 - 2024	The 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024)), 2024 -- Co-located with the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)
2024 - 2024	2nd International Workshop on evaLuation and assEssment in softwARe eNgineers’ Educa- tion and tRaining (LEARNER 2024), 2024 – Co-located with the International Conference on Evaluation and Assessment in Software Engineering (EASE 2024)
2023 - 2023	1st International Workshop on evaLuation and assEssment in softwARe eNgineers Education and tRaining (LEARNER 2023)
2023 - 2023	3rd International Workshop on Artificial Intelligence in Software Testing (AIST 2023), 2023, co-located with the IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)
2023 - 2023	Formal Methods Teaching Workshop and Tutorial (FMTea23), 2023 -- Event affiliated with FM 2023, 25th International Symposium on Formal Methods
2023 - 2023	SOFT-PT, INForum 2023 (INForum — Simpósio de Informática)
2023 - 2023	14th Workshop on Automating TEST case Design, Selection and Evaluation (A-TEST 2023), 2023 -- Co-located with the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
2023 - 2023	SPLASH-E 2023 -- Co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023)
2022 - 2022	PhD Symposium (PhD-iFM'22) at the 17th International Conference on integrated Formal Methods (iFM 2022)
2022 - 2022	13th Workshop on Automating TEST case Design, Selection and Evaluation (A-TEST 2022) -- Co-located with the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)
2022 - 2022	7th IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2022) -- Co-located with the 33nd Annual IEEE International Symposium on Software Reliability Engineering (ISSRE 2022)
2022 - 2022	SOFT-PT, INForum 2022 (INForum — Simpósio de Informática)
2020 - 2020	ACM Technical Symposium on Computing Science Education (SIGCSE 2020)	Portland, Oregon
2019 - 2019	ACM Technical Symposium on Computing Science Education (SIGCSE 2019)	Minneapolis, Minnesota
2019 - 2019	International Conference on Knowledge Capture 2019 (K-Cap 2019)	Marina del Rey, California
2019 - 2019	ACM Interactive Surfaces and Spaces (ISS 2019)	Daejeon, Korea
2019 - 2019	ACM CHI PLAY 2019	Barcelona, Spain
2019 - 2019	13th International Conference on Mathematics of Program Construction (MPC 2019)	Porto, Portugal
2019 - 2019	Brazilian Symposium on Programming Languages (SBLP 2019)	Salvador, Brazil
2019 - 2019	21st ACM International Conference on Multimodal Interaction (ICMI 2019)	Suzhou, Jiangsu, China
2019 - 2019	3rd International Symposium on Formal Methods (FM 2019)	Porto, Portugal
2019 - 2019	17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2019)	Paphos, Cyprus
2018 - 2018	ACM Technical Symposium on Computing Science Education (SIGCSE 2018)	Portland, Oregon
2018 - 2018	ACM Interactive Surfaces and Spaces (ISS 2018)	Tokyo, Japan
2018 - 2018	ACM CHI PLAY 2018	Melbourne, Australia
2018 - 2018	Brazilian Symposium on Programming Languages (SBLP 2018)	São Carlos, Brazil
2018 - 2018	31st International Florida Artificial Intelligence Research Society Conference (FLAIRS-31)	Melbourne, Florida
2017 - 2017	ACM Technical Symposium on Computing Science Education (SIGCSE 2017)	Seattle, Washington
2016 - 2016	ACM Interactive Surfaces and Spaces (ISS 2016)	Niagara Falls, Canada
2016 - 2016	Brazilian Symposium on Programming Languages (SBLP 2016)	Maringá, Brazil
2015 - 2015	Brazilian Symposium on Programming Languages (SBLP 2015)	Belo Horizonte, Brazil

Arbitragem científica em revista

	Nome da revista (ISSN)	Editora
2017 - 2017	Journal of Science of Computer Programming
2015 - 2015	Journal of Logical and Algebraic Methods in Programming (JLAMP)	Elsevier

Curso / Disciplina lecionado

	Disciplina	Curso (Tipo)	Instituição / Organização
2023 - 2024	Programming (C++)	Engenharia Informática e Computação (Licenciatura)	Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2024	Formal Methods for Critical Systems (I am responsible for teaching Formal Verification using Dafny).	Master in Informatics and Computing Engineering (Meic) (Mestrado)	Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2024	Functional and Logic Programming	Master in Informatics and Computing Engineering (Licenciatura)	Universidade do Porto Faculdade de Engenharia, Portugal
2021/02/01 - 2021/07/31	Computacional Logic	Engenharia Informática (Licenciatura)	Universidade da Beira Interior, Portugal
2020/10 - 2021/02	Programming (C)	Engenharia Informática (Licenciatura)	Universidade da Beira Interior, Portugal
2020/10 - 2021/01/01	Computacional Logic	Engenharia Informática (Licenciatura)	Universidade da Beira Interior, Portugal
2020 - 2020	Programming Paradigms	Engenharia Informática (Mestrado)	Universidade da Beira Interior, Portugal
2019 - 2020	Programming I (C)	Engenharia Informática (Licenciatura)	Universidade da Beira Interior, Portugal
2019 - 2020	Computacional Logic	Engenharia Informática (Licenciatura)	Universidade da Beira Interior, Portugal
2019 - 2020	Processamento de Linguagens	Engenharia Informática (Licenciatura)	Universidade da Beira Interior, Portugal
2019 - 2019	Sistemas Distribuídos	Engenharia Informática (Licenciatura)	Universidade da Beira Interior, Portugal
2015 - 2018	Introduction to Mathematics	Computer Science BSc (Bachelor)	Teesside University, Reino Unido
2015 - 2018	Java Programming 1	Computer Science BSc (Bachelor)	Teesside University, Reino Unido
2015 - 2018	Java Programming 2	Computer Science BSc (Bachelor)	Teesside University, Reino Unido
2015 - 2018	Network Scripting	Cyber-Security and Networks BSc (Bachelor)	Teesside University, Reino Unido
2014 - 2014	Software Engineering	Computer Science BSc (Bachelor)	York St John University, Reino Unido
2013 - 2014	Mathematics for Computer Science	Computer Science BSc	York St John University, Reino Unido
2013 - 2014	Introduction to Programming	Computer Science BSc	York St John University, Reino Unido
2006 - 2009	Algorithmic Problem Solving	Computer Science BSc (Bachelor)	University of Nottingham, Reino Unido
2006 - 2009	Mathematics for Computer Scientists	Computer Science BSc (Bachelor)	University of Nottingham, Reino Unido

Membro de associação

	Nome da associação	Tipo de participação
2022 - Atual	Association for Computing Machinery (ACM)	Professional Member
2017 - Atual	Formal Methods Europe (FME) Teaching Committee (by-invitation-only)
2017 - Atual	Formal Methods Europe (FME) Association

Membro de comissão

	Descrição da atividade Tipo de participação	Instituição / Organização
2019 - Atual	Comissão Científica do Mestrado em Engenharia Informática Membro	Universidade da Beira Interior, Portugal

Outro júri / avaliação

	Descrição da atividade	Instituição / Organização
2021 - Atual	President of the Jury: Dissertation Project (Masters)}	Universidade da Beira Interior, Portugal
2020 - 2020	President of the Jury of MSc Thesis	Universidade da Beira Interior, Portugal
2019 - 2019	Projeto de final de curso. Título: Incêndios, como atuar? Com agentes (mesmo) inteligentes! Aluno: Catarina Bernardo	Universidade da Beira Interior, Portugal
2019 - 2019	Projeto de final de curso. Título: "Gamificação da atividade física para melhorar a qualidade de vida" Aluno: Mariana Magalhães Dantas	Universidade da Beira Interior, Portugal
2018 - 2018	Examiner of the MSc thesis of two students.	Teesside University, Reino Unido

Distinções

Prémio

2025	Diploma of Pedagogical Recognition Universidade do Porto Faculdade de Engenharia, Portugal
2024	Atlantic Security Award 2024 Fundação Luso-Americana para o Desenvolvimento, Portugal Instituto da Defesa Nacional, Portugal
2023	Selected as a Visiting Researcher at Carnegie Mellon University, funded by CMU Portugal
2006	PhD Studentship Fundação para a Ciência e a Tecnologia, Portugal
2005	PhD Studentship - University of Nottingham University of Nottingham, Reino Unido

Título

2015	Fellow of the Higher Education Academy, UK Higher Education Academy, Reino Unido

Outra distinção

2024	Invited to the Dagstuhl Seminar 24251 -- Teaching Support Systems for Formal Foundations of Computer Science, June, 2024 (by invitation only)
2024	The Incredible - Research Award Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2020	Springer Nature 2019 Highlight Status for paper "Towards Handwritten Calculational Proofs" Springer Nature, Luxemburgo