???global.info.a_carregar???
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.
Read full resume ↓
Identification

Personal identification

Full name
Alexandra Sofia Ferreira Mendes

Citation names

  • Mendes, Alexandra

Author identifiers

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

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Portuguese (Mother tongue)
Education
Degree Classification
2014/03 - 2015/03
Concluded
 Postgraduate Certificate in Academic Practice (Postgraduate Certificate)
York St John University, United Kingdom
 Distinction
2006 - 2012
Concluded
 Doctor of Philosophy in Computer Science (Doctor of Philosophy)
University of Nottingham, United Kingdom
"Structure Editing of Handwritten Mathematics" (THESIS/DISSERTATION)
 N/A
2000/09 - 2005/11
Concluded
 Matemática e Ciências de Computação (Licenciatura)
Universidade do Minho, Portugal
 16
Affiliation

Science

Category
Host institution 		Employer
2023/10 - 2023/11 Visiting Researcher (Research) Carnegie Mellon University, United States

Teaching in Higher Education

Category
Host institution 		Employer
2022/03 - Current Assistant Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
2019/01 - 2022/02 Assistant Professor (University Teacher) Universidade da Beira Interior, Portugal
2015/01 - 2018/09 Assistant Professor (University Teacher) Teesside University, United Kingdom
2013/09 - 2015/01 Assistant Professor (University Teacher) York St John University, United Kingdom
Projects

Grant

Designation Funders
2025/02/15 - 2026/08/15 VeriFixer: Automated Repair for Verification-Aware Programming Languages
2023.15557.PEX
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2025 - 2026 InfraGov: A Public Framework for Reliable and Secure IT Infrastructure
2024.07411.IACDC
Co-Principal Investigator (Co-PI)
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

Contract

Designation Funders
2022/10 - Current ENACTEST - European Innovation Alliance for Testing Education
101055874-ENACTEST-ERASMUS-EDU-2021-PI-ALL-INNO
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal
 Erasmus Plus
Ongoing
2022 - 2023 SpecRep: Constraint-based Specification Repair
EXPL/CCI-COM/1637/2021
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2021/02/01 - 2022/06/30 PassCert: Exploring the Impact of Formal Verification on the Adoption of Password Security Software
CMU/TIC/0006/2019
Researcher
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
Concluded
2019 - 2020 C4: Cloud Computing Competence Centre
N/A
Researcher
Universidade da Beira Interior, Portugal
Concluded
2017 - 2018 Data Automation for Supplier Information Management and Supplier Contract Management
34R15P00416
Principal investigator
Teesside University, United Kingdom
 European Regional Development Fund
Concluded
2016 - 2017 A UTP Theory for Control Law Verification
N/A
Principal investigator
Teesside University, United Kingdom
Concluded
2015 - 2017 Review: an Innovative Intelligent Evidence Exploration System
9885
Researcher
Teesside University, United Kingdom
 Innovate UK
Concluded
2009 - 2012 MathIS: Reinvigorating Mathematics for the Information Society
PTDC/EIA/73252/2006
Research Fellow
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2005 - 2005 GORDA -- Open Replication of Databases
004758
Scientific Initiation Fellow
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
Other
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded

Other

Designation Funders
2016 - 2017 Interfaces for Emergency Services
NA
Principal investigator
Teesside University, United Kingdom
Concluded
Outputs

Publications

Conference paper
  1. David Regatia; Mendes, Alexandra; Ferreira, João; Carolina Carreira. "Contract Usage and Evolution in Android Mobile Applications". Paper presented in European Conference on Object-Oriented Programming (ECOOP 2025), 2025.
    Accepted
  2. 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". Paper presented in 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024, TORONTO, 2024.
    Accepted
  3. Álvaro F. Silva; Mendes, Alexandra; João F. Ferreira. "Leveraging Large Language Models to Boost Dafny's Developers Productivity". Paper presented in INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2024) co-located with International Conference on Software Engineering (ICSE2024), 2024.
    Accepted
  4. Abreu, Alexandre; Macedo, Nuno; Mendes, Alexandra. "Exploring Automatic Specification Repair in Dafny Programs". Paper presented in The 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), Luxembourg, 2023.
    Published • 10.1109/asew60602.2023.00019
  5. Saavedra, Nuno; Gonçalves, João; Henriques, Miguel; Ferreira, João F.; Mendes, Alexandra. "Polyglot Code Smell Detection for Infrastructure as Code with GLITCH". Paper presented in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023.
    10.1109/ase56229.2023.00162
  6. Bruno Rodrigues; Ivone Amorin; Ivan Costa; Mendes, Alexandra. "Patient-centric health data sovereignty: an approach using Proxy re-encryption". Paper presented in 18th DPM International Workshop on Data Privacy Management co-located with 28th European Symposium on Research in Computer Security (ESORICS), 2023.
    Published
  7. Ricardo Pereira; João F. Ferreira; Mendes, Alexandra; Abreu, Rui. "Extending EcoAndroid with Automated Detection of Resource Leaks". Paper presented in 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2022 (MobileSoft 2022), co-located with ICSE 2022., 2022.
  8. Miguel Grilo; João Campos; João F. Ferreira; Almeida, José Bacelar; Mendes, Alexandra. "Verified Password Generation from Password Composition Policies". Paper presented in Integrated Formal Methods 2022 (iFM 2022), 2022.
  9. Carolina Carreira; João F. Ferreira; Mendes, Alexandra. "Towards Improving the Usability of Password Managers". Paper presented in Communication accepted at INForum 2021 (INForum — Simpósio de Informática), Lisboa, 2021.
    Published
  10. Rui Lima; João F. Ferreira; Mendes, Alexandra. "Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities". Paper presented in 5th International Workshop on Refactoring (co-located with the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21)), 2021.
    Published
  11. Carolina Carreira; João F. Ferreira; Mendes, Alexandra. "Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda". Paper presented in 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.
  12. Pereira, David; Ferreira, João; Mendes, Alexandra (BC13-FECB-2C78). "Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks". Paper presented in 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2020.
    10.1109/issrew51248.2020.00079
  13. Johnson, Saul; Ferreira, João; Mendes, Alexandra; Cordry, Julien. "Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection". Paper presented in ACM ASIA Conference on Computer and Communications Security 2020 (ASIACCS 2020) to appear, Taipei, 2020.
    Accepted
  14. Johnson, Saul; Ferreira, João; Mendes, Alexandra; Cordry, Julien. "Lost in Disclosure: On the Inference of Password Composition Policies". Paper presented in 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Berlin, 2019.
    Published • 10.1109/issrew.2019.00082
  15. Hoare, Tony; Mendes, Alexandra; Ferreira, João. "Logic, algebra, and geometry at the foundation of computer science". Paper presented in Formal Methods Teaching Workshop and Tutorial (co-located with FM 2019, 3rd World Congress on Formal Methods), Porto, 2019.
    Published
  16. Ferreira, João; Mendes, Alexandra. "Open and Interactive Learning Resources for Algorithmic Problem Solving". Paper presented in 9th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2019), Porto, 2019.
  17. Mendes, Alexandra; Ferreira, João. "Towards Verified Handwritten Calculational Proofs". Paper presented in International Conference on Interactive Theorem Proving (ITP 2018), Oxford, 2018.
  18. 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
  19. Ferreira, João; Johnson, S.A.; Mendes, Alexandra; Brooke, P.J.. "Certified password quality: A case study using Coq and linux pluggable authentication modules". Paper presented in 13th International Conference on Integrated Formal Methods - University of Torino, Turin, Italy, Turin, 2017.
    Published • 10.1007/978-3-319-66845-1_27
  20. Matthews, Jamie; Charles, Fred; Porteous, Julie; Mendes, Alexandra. "Mise-En-Scène of Narrative Actions in Interactive Storytelling (Demonstration)". Paper presented in Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017), Rio de Janeiro, 2017.
    Published
  21. Mathews, Jamie; Charles, Fred; Porteous, Julie; Mendes, Alexandra. "MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling.". Paper presented in Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017), Rio de Janeiro, 2017.
  22. Ferreira, João; Mendes, Alexandra. "The magic of algorithm design and analysis: Teaching algorithmic skills using magic card tricks". 2014.
    10.1145/2591708.2591745
  23. 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
  24. Ferreira, João; Mendes, Alexandra; Cunha, A.; Baquero, C.; Silva, P.; Barbosa, L.S.; Oliveira, J.N.. "Logic training through algorithmic problem solving". Paper presented in International Congress on Tools for Teaching Logic, Salamanca, 2011.
    Published • 10.1007/978-3-642-21350-2_8
  25. Ferreira, João; Mendes, Alexandra. "Students' feedback on teaching mathematics through the calculational method". 2009.
    10.1109/FIE.2009.5350478
  26. Ferreira, João; Mendes, Alexandra; Backhouse, R.; Barbosa, L.S.. "Which mathematics for the information society?". Paper presented in International Conference on Teaching Formal Methods., Eindhoven, 2009.
    10.1007/978-3-642-04912-5_4
  27. Mendes, Alexandra. "Work in progress - Structure editing of handwritten mathematics". 2008.
    10.1109/FIE.2008.4720333
Conference poster
  1. David R. Ferreira; João F. Ferreira; Mendes, Alexandra. "How are Contracts Used in Android Mobile Applications?". Paper presented in 46th International Conference on Software Engineering (ICSE 2024), 2024.
Journal article
  1. 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.
    Published • 10.1007/s11219-024-09706-z
  2. 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.
    Open access • Accepted • 10.1145/3670795
  3. 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
  4. 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.
    Published • 10.1016/j.jlamp.2022.100811
  5. 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
Preprint
  1. David R. Ferreira; João F. Ferreira; Mendes, Alexandra. "Contract Usage and Evolution in Android Mobile Applications". 2024. https://arxiv.org/abs/2401.14244.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2024/09/01 - Current Boosting Developers' productivity through intelligent Automation in Verification-Aware Programming Languages
Supervisor
 Engenharia Informática (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
2023 - Current Reliable Software Configuration and Infrastructure as Code Analysis
Co-supervisor
 Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 - Current Automated Repair in Verification-Aware Languages
Co-supervisor
 Engenharia Informática (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
2023 - Current Extending EcoAndroid with Automated Energy Profiling
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/01/10 - Current Exploring Usable Security to Improve the Impact of Formal Verification
Co-supervisor
 CMU Portugal Dual Degree/ Doutoramento em Engenharia Informática e de Computadores (PDEIC) (PhD)
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
Co-supervisor
 PhD in Computer Science (PhD)
Teesside University, United Kingdom
2024 - 2024 Evaluating High-Level SystemC Formal Verification Compared to RTL Verification -- work carried out at Synopsys
Supervisor
Universidade do Porto Faculdade de Engenharia, Portugal
2023 - 2024 Automated Repair for Verification-Aware Programming Languages
Supervisor
 Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2023 - 2024 A Study on Developers’ Challenges and Struggles with Verification-Aware Languages
Supervisor
 Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2023 - 2024 Serious game to teach software testing
Co-supervisor
 Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2023 - 2024 Detection and Refactoring of Resource Leaks on Mobile Applications
Co-supervisor
 Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023 An Investigation Into User Expectations for Formal Verification
Supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023 Studying contract usage in Android mobile applications
Supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023 Tablet PC Tool for Handwriting Recognition
Supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023 Structured Manipulation of Handwritten Mathematics
Supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023 Platform for authorized sharing of health data using Proxy Re-Encryption
Supervisor
 Mestrado em Engenharia de Software (MESW) (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023 Automatic specification repair in contract programming
Co-supervisor
 Mestrado em Engenharia Informática e Computação (M.EIC) (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022 - 2023 Extending GLITCH to Detect Code Smells in Docker
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 - 2023 Automatic Detection of Security Smells in Terraform
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2022 Automated Program Repair of Arithmetic Programs in Dafny
Co-supervisor
 Mestrado em Engenharia Informática e de Computadores (MEIC) (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2022 Formal Verification of Password Manager Security Properties
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - 2021 Serious Game for Forest Fire Prevention
Supervisor
 Engenharia Informática (Master)
Universidade da Beira Interior, Portugal
2020 - 2021 On Usable Security and Verified Password Managers
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2021 Development of an Innovative Online Whiteboard Application
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2021 Improving the Security of Password Manager Browser Extensions
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2021 Reliable and Secure Smart Contracts for Blockchain Applications
Co-supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2021 Verified Smart Contracts for Double Auctions
Co-supervisor
 Mestrado em Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2020/12/16 Crowd Simulation for Interactive Entertainment Applications
Co-supervisor
 PhD in Computer Science (PhD)
Teesside University, United Kingdom
2020 - 2020 Mobile Game to Encourage the Use of Greener Transportation
Supervisor
 Engenharia Informática (Degree)
Universidade da Beira Interior, Portugal
2020 - 2020 Mobile Application for Public Transportation with "Active" Check-in/Check-out
Supervisor
 Engenharia Informática (Degree)
Universidade da Beira Interior, Portugal
2020 - 2020 CityPass: A Virtual Pass for Exploring Cities and for Decision Making
Supervisor
 Engenharia Informática (Degree)
Universidade da Beira Interior, Portugal
2019 - 2019 Web Application for handwritten presentations
Supervisor
 Engenharia Informática (Degree)
Universidade da Beira Interior, Portugal
2018 - 2018 Technologies that aid in officiating decisions in football: A survey and open questions
Supervisor
 MSc Computing (Master)
Teesside University, United Kingdom
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?
Supervisor
 MSc Computing (Master)
Teesside University, United Kingdom
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
Supervisor
Teesside University, United Kingdom

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2020/09/20 - Current 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)
Workshop (Co-organisor)
2023 - 2024 Proceedings Chair: International Conference on the Quality of Information and Communications Technology 2024 (QUATIC 2024) (2024 - 2024)
Conference (Other)
2022 - 2024 PC member of the 46th International Conference on Software Engineering (ICSE 2024) (2022)
Conference (Member of the Scientific Committee)
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)
Exhibition (Member of the Organising Committee)
 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)
Workshop (President of the Organising Committee)
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)
Workshop (President of the Organising Committee)
2022 - 2022 Journal Editorial Board of the ACM on Human-Computer Interaction -- Interactive Surfaces and Spaces, July Round, 2022 (PACMHCI ISS) (2022 - 2022)
Conference (Member of the Scientific Committee)
2022 - 2022 Journal Editorial Board of the ACM on Human-Computer Interaction -- Interactive Surfaces and Spaces, February Round, 2022 (PACMHCI ISS) (2022 - 2022)
Conference (Member of the Scientific Committee)
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)
Workshop (Member of the Scientific Committee)
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)
Workshop (Member of the Scientific Committee)
2021 - 2021 Journal Editorial Board of the ACM on Human-Computer Interaction -- Interactive Surfaces and Spaces, Summer Round, 2021 (PACMHCI ISS) (2021 - 2021)
Conference (Member of the Scientific Committee)
2019 - 2019 Formal Methods Teaching Workshop and Tutorial (FMTea19), 2019 -- Event affiliated with FM 2019, 3rd World Congress on Formal Methods (2019)
Workshop (Member of the Scientific Committee)
2019 - 2019 ACM Interactive Surfaces and Spaces (ISS 2019) (2019)
Conference (Member of the Scientific Committee)
2019 - 2019 Organizer and Chair of the Formal Methods Teaching Workshop and Tutorial (FMTea21), 2021, affiliated with FM 2021 (2019 - 2019)
Workshop (Member of the Organising Committee)
2018 - 2018 ACM Interactive Surfaces and Spaces (ISS 2018) (2018)
Conference (Member of the Scientific Committee)
2016 - 2016 ACM Interactive Surfaces and Spaces (ISS 2016) (2016)
Conference (Member of the Scientific Committee)

Jury of academic degree

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

Association member

Society Organization name Role
2022 - Current Association for Computing Machinery (ACM) Professional Member
2017 - Current Formal Methods Europe (FME) Teaching Committee (by-invitation-only)
2017 - Current Formal Methods Europe (FME) Association

Committee member

Activity description
Role 		Institution / Organization
2019 - Current Comissão Científica do Mestrado em Engenharia Informática
Member
 Universidade da Beira Interior, Portugal

Conference scientific committee

Conference name Conference host
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

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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, United Kingdom
2015 - 2018 Java Programming 1 Computer Science BSc (Bachelor) Teesside University, United Kingdom
2015 - 2018 Java Programming 2 Computer Science BSc (Bachelor) Teesside University, United Kingdom
2015 - 2018 Network Scripting Cyber-Security and Networks BSc (Bachelor) Teesside University, United Kingdom
2014 - 2014 Software Engineering Computer Science BSc (Bachelor) York St John University, United Kingdom
2013 - 2014 Mathematics for Computer Science Computer Science BSc York St John University, United Kingdom
2013 - 2014 Introduction to Programming Computer Science BSc York St John University, United Kingdom
2006 - 2009 Algorithmic Problem Solving Computer Science BSc (Bachelor) University of Nottingham, United Kingdom
2006 - 2009 Mathematics for Computer Scientists Computer Science BSc (Bachelor) University of Nottingham, United Kingdom

Journal scientific committee

Journal title (ISSN) Publisher
2017 - 2017 Journal of Science of Computer Programming
2015 - 2015 Journal of Logical and Algebraic Methods in Programming (JLAMP) Elsevier

Other jury / evaluation

Activity description Institution / Organization
2021 - Current 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, United Kingdom
Distinctions

Award

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, United Kingdom

Title

2015 Fellow of the Higher Education Academy, UK
Higher Education Academy, United Kingdom

Other distinction

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, Luxembourg