(last update: April 5, 2026)
News
ICSE 2026
Speaker – Research Track
48th IEEE/ACM International Conference on Software Engineering
REST League 2026
Organizer
REST API testing tools competition – Hosted by SBFT@ICSE2026
SBFT 2026
Invited Speaker
19th Search-Based and Fuzz Testing Workshop
SAS 2026
Program Committee Member
33rd Static Analysis Symposium
ASE 2026
Program Committee Member – Research Track
41st IEEE/ACM International Conference on Automated Software Engineering
FCS 2026
Program Committee Member
23rd Workshop on Foundations of Computer Security
EASE 2026
Program Committee Member – Research Track
30th International Conference on Evaluation and Assessment in Software Engineering
CyberChallenge.IT 2026
Local Organizer and Instructor
10th Edition of the Italian Training Program in Cybersecurity
KonTrust Srl 2025
Co-founder & CMO
Innovative startup on IoT security
ASE 2025
Program Committee Member – Research Track
40th IEEE/ACM International Conference on Automated Software Engineering
ICSME 2025
Program Committee Member – Research Track
41st International Conference on Software Maintenance and Evolution
ISSTA 2025
Program Committee Member – Research Track
34th ACM International Symposium on Software Testing and Analysis
ICST 2025
Speaker – Testing Tools and Data Showcase Track
18th IEEE International Conference on Software Testing, Verification and Validation
ICST 2025
Publicity Co-Chair
18th IEEE International Conference on Software Testing, Verification and Validation
Past events
ST&V Summer School 2024
Invited Speaker
3rd Summer School on Security Testing and Verification
SCAM 2024
Program Committee Member – Research Track; New Ideas and Emerging Results Track
24th IEEE International Working Conference on Source Code Analysis and Manipulation
NSAD 2024
Program Co-Chair
10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Lipari AbsInt 2024
Organizer
Lipari Summer School on Abstract Interpretation
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
ICSE 2024
Program Committee Member – Demonstrations Track
46th IEEE/ACM International Conference on Software Engineering
SAS 2023
Speaker
30th Static Analysis Symposium
CSV 2023
Invited Speaker
2nd Symposium on Challenges of Software Verification
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
7th Edition of the Italian Training Program in Cybersecurity
ECAI 2023
Program Committee Member
26th European Conference on Artificial Intelligence
Università della Svizzera Italiana (USI)
Visiting Researcher (6 months)
USI Software Institute
CyberChallenge.IT 2022
Local Organizer and Instructor
6th Edition of the Italian Training Program in Cybersecurity
ICTCS 2022
Speaker
23rd EATCS Italian Conference on Theoretical Computer Science
SCAM 2022
Program Committee Member – Research Track
21st IEEE International Working Conference on Source Code Analysis and Manipulation
SCAM 2022
Proceedings Chair
21st IEEE International Working Conference on Source Code Analysis and Manipulation