talks
Selected talks with slides and recordings, and invited talks and tutorials.
Selected talks
- 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
- “Cooperative AI-Assisted Formal Verification: Integrating LLMs with Model Checking for Scalable Software Assurance”. 7th Workshop on Cooperative Software Verification (COOP), 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
- “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.