talks
Selected talks with slides and recordings, invited talks and tutorials, and industry engagement.
Selected talks
- Verifying What Generative AI Builds: Formal Methods for the AI Partner in Engineering. Invited talk at the GenAIDE MSCA Industrial Doctoral Network, University of Manchester, 2026.
- Verifiable, Trustworthy Software and Secure Networked Systems. BT Group business engagement event, University of Manchester, 2026.
- 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
- “Verifying What Generative AI Builds: Formal Methods for the AI Partner in Engineering”. GenAIDE (Generative AI for Industrial Design Engineering), a Marie Skłodowska-Curie Actions Industrial Doctoral Network under Horizon Europe, The University of Manchester, UK, invited talk, 2026.
- “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.
Industry engagement
- “Verifiable, Trustworthy Software and Secure Networked Systems”. BT Group business engagement event, The University of Manchester, UK, industry engagement talk, 2026.