(last update: May 16, 2023)
News
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
Past events
Università della Svizzera Italiana (USI)
Visiting Researcher (6 months)
USI Software Institute
CyberChallenge.IT 2022
Local Organizer and Instructor
5th 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