talks

Selected talks

• From Research to Impact: Software Verification, Veribee, and Manchester–Brazil Opportunities. Invited talk at UNIFEI, Itajubá, Brazil, 2026.
• Formal Verification Workshop. Two-session hands-on workshop at UNIFEI, Itajubá, Brazil, 2026.
• Cooperative AI-Assisted Formal Verification: Integrating LLMs with Model Checking for Scalable Software Assurance. Keynote at COOP 2026.
• AI-Assisted Formal Verification: Towards Fast, Accessible, and Rigorous Software Verification. Keynote at GeCoIn 2025, co-located with ECAI 2025.
• Towards Building Trustworthy Software and AI Systems. Inaugural chair lecture, University of Manchester, 2025.
• Security of Software Systems with Applications on the Internet of Things.. Video
• EnnCore – Special Session.. Video
• Exploiting the SAT Revolution for Automated Software Verification and Synthesis.. Video
• Systems and Software Security (S3) Research Group. Video

Invited talks

• “From Research to Impact: Software Verification, Veribee, and Manchester–Brazil Opportunities”. Universidade Federal de Itajubá (UNIFEI), Itajubá, Brazil, invited talk, 2026.
• Collaboration perspectives on formal methods, software verification, and systems security for critical sectors. Instituto Nacional de Telecomunicações (Inatel) and the Inatel Competence Center (ICC), Santa Rita do Sapucaí, Brazil, invited talk, 2026.
• Academic, scientific, and technological partnership opportunities with the UK. UNIFEI Pouso Alegre and Senac Pouso Alegre, Brazil, invited lecture and guest class for SENAC Tech and UNIFEI Cybersecurity students, 2026.
• “Cooperative AI-Assisted Formal Verification: Integrating LLMs with Model Checking for Scalable Software Assurance”. 7th Workshop on Cooperative Software Verification (COOP), co-located with ETAPS 2026, Turin, Italy, keynote, 2026.
• “AI-Assisted Formal Verification: Towards Fast, Accessible, and Rigorous Software Verification”. Generative Code Intelligence Workshop (GeCoIn) at ECAI, Bologna, Italy, keynote, 2025.
• “Towards Building Trustworthy Software and AI Systems”. Workshop de Segurança Cibernética e Sistemas Críticos (WCS), UNIFEI, Brazil, keynote, 2025.
• “An Exploration of Automated Software Testing, Verification, and Repair Strategies using ESBMC and ChatGPT”. University of Lancaster, UK, invited talk, 2023.
• “An Exploration of Automated Software Testing, Verification, and Repair Strategies using ESBMC and ChatGPT”. 8th International Workshop on CPAchecker, invited talk, 2023.
• “Security of Software Systems with Applications on the Internet of Things”. 48th Wireless World Research Forum (WWRF), invited talk, 2022.
• “Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study”. 10th Latin-American Symposium on Dependable Computing (LADC), invited talk, 2021.
• “Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study”. IARCS Verification Seminar Series, invited talk, 2021.
• “Automated Software Verification and Synthesis in Unmanned Aerial Vehicles”. Digital Trust & Security Guest Lecture Series and the Aerospace Research Institute, University of Manchester, invited talk, 2018.

Invited tutorials

• “Formal Verification Workshop”. Universidade Federal de Itajubá (UNIFEI), Itajubá, Brazil, invited tutorial in two sessions, 2026.
• “Securing Software Systems: Exploring Automated Testing, Verification, and Synthesis Strategies”. 8th School of Theoretical Computer Science and Formal Methods (ETMF), 2023.
• “Security of Software Systems with Applications on the Internet of Things”. Summer School on Service-Based and Cloud Robotics (PERSEO), 2022.