SAS 2024
Program Committee Member
31st Static Analysis Symposium
ECAI 2024
Program Committee Member
27th European Conference on Artificial Intelligence
ICSE 2024
Speaker – Research Track
46th IEEE/ACM International Conference on Software Engineering
ASE 2024
Program Committee Member – Research Track
39th IEEE/ACM International Conference on Automated Software Engineering
SAS 2023
Speaker
30th Static Analysis Symposium
CSV 2023
Invited Speaker
2nd Symposium on Challenges of Software Verification
ICSE 2024
Program Committee Member – Demonstrations Track
46th IEEE/ACM International Conference on Software Engineering
SCAM 2023
Program Co-Chair – New Ideas and Emerging Results Track
23rd IEEE International Working Conference on Source Code Analysis and Manipulation
CyberChallenge.IT 2023
Local Organizer and Instructor
6th Edition of the Italian Training Program in Cybersecurity
ECAI 2023
Program Committee Member
26th European Conference on Artificial Intelligence