CV
Click the image below for my full CV.
Education
July 11, 2024 | Bachelor's Degree | - Title: Valutazione sperimentale sull’individuazione automatica di errori di programmazione nel codice generato da LLM
- Grade: 110/110 cum laude
- Supervisor: Prof. Enea Zaffanella
- Co-supervisor: Prof. Vincenzo Arceri
- Keywords: Static Analysis, AI, LLM, Software Verification and Validation
- PdfSlides
|
Conferences, workshops and school participations
September 1-7, 2024 | Participant | Lipari Summer School on Abstract Interpretation |
June 6-7, 2024 | Participant | CSV 2024, 3rd Challenges of Software Verification Symposium |