Courses and supervision
Continuous teaching activity since 2021/22 in the IINF-05/A scientific-disciplinary sector: software reliability and security, programming, practical cybersecurity, and AI security.
University teaching
Impianti di Elaborazione
72 hours.
Practical Cybersecurity
72 hours. Hands-on introduction to practical cybersecurity.
Programming Laboratory
72 hours per year.
AI Code Generation: Foundations, Evaluation, and Security
11 hours. Doctoral course on foundations, evaluation, and security of AI-based code generators.
Reliability and Security of Complex Software Systems
48 hours per year.
CyberChallenge.IT
Since 2023/24 I am the local coordinator at DIETI (University of Naples Federico II) for the national programme CyberChallenge.IT, promoted by the National Inter-University Consortium for Informatics (CINI) to train university and high-school students in cybersecurity.
Each year the programme delivers 72 hours of lectures and hands-on labs and prepares the local team for national CTF competitions. I coordinate the local didactic activities, design and teach training modules, and supervise participating students.
Editions: A.A. 2023/24, 2024/25, 2025/26.
Thesis supervision
In the period 2019–2026 I supervised 40 theses as advisor or co-advisor in the BSc and MSc programmes in Computer Engineering and Biomedical Engineering at the University of Naples Federico II: 31 MSc theses and 9 BSc theses. Main topics: software security, AI-based code generation, software reliability, and LLMs for clinical and biomedical data.
MSc theses
- Un chatbot paziente-specifico per la consultazione di referti clinici basato su Large Language Models e Retrieval-Augmented Generation
- Predizione della variazione della terapia eritropoietica in dialisi: un approccio ibrido di Machine Learning e Deep Learning a supporto del nefrologo
- Large Language Models per la sintesi di referti diabetologici: studio comparativo e impatto del prompt engineering
- Analisi Empirica di Fallimenti Software LLM-Based in OpenStack
- Evaluating AI-Driven Intrusion Detection in Simulated Industrial Control System Environments
- A Template-Based Method to Automatically Repair Software Vulnerability
- Vulnerability Injection in Smart Contracts through Large Language Models
- Comparing Quality of Human-written and AI-generated Code
- Analisi dell'impatto del training e delle caratteristiche del modello sui generatori di codice basati su IA
- Confronto di Tecniche di Prompt Engineering per Offensive Security tramite Large Language Models
- Uno studio sperimentale su Generative Adversarial Network per la simulazione di attacchi di Cybersecurity
- Artificial Firmware Designer Assistant: Valutazione del Codice VHDL Generato da AI
- Un Metodo per l'Analisi di Bug Residui in Sistemi Python Complessi
- Generazione di Codice VHDL da Linguaggio Naturale: Fine-Tuning di Modelli AI Open-Source e Confronto con Modelli Closed-Source
- Valutazione delle Tecnologie di Generazione Automatica di Codice per Firmware: Performance dei Modelli AI Closed-Source
- An Experimental Testbed for Resource Misuse Detection in Microservices Environments
- Prompt Engineering for Offensive Code Generation
- Security Testing of AI Code Generators
- Software Vulnerability Analysis for AI-generated Code
- Generating PowerShell Attacks from Natural Language
- Context-Aware Generation of Software Exploits via AI-based Code Generators
- Towards the Automatic Evaluation of Code Syntax and Semantics
- Analisi di modelli di Neural Machine Translation per Offensive Security
- Generation of Offensive Python Code with Neural Machine Translation
- Emulazione di reti embedded per l'analisi di Intrusion Detection Systems
- Leveraging Adversarial Training to improve NMT Models Robustness in Code Generation tasks
- Rilevamento di Anomalie in Sistemi Cloud: un Approccio Automatizzato Basato su Distributed Tracing
- Analisi Empirica per il Rilevamento delle Anomalie su OpenStack in Scenari Multi-Tenant
- Leveraging Neural Machine Translation to Automatically Generate Software Exploits
- Enhancing Failure Analysis of Cloud Infrastructures by using Deep Learning
- Runtime Verification via Stream Processing in Cloud Computing Infrastructures
BSc theses
- Valutazione di Generatori di Codice basati su Intelligenza Artificiale per l'Offensive Security
- Temporal Memory Safety: Exploitation and Mitigation of Use-After-Free Vulnerabilities
- Utilizzo del log parsing per failure analysis
- Valutazione di tecniche eterogenee per la rilevazione di vulnerabilità software C/C++
- Generazione automatica di Codice nella Software Security
- Valutazione della Sicurezza dei Dataset per l'addestramento dei modelli di Code Generation
- Evaluating Software Vulnerabilities in Public AI Code Generators
- Simulazione e Analisi di Attacchi Informatici verso Sistemi IoT mediante Anomaly Detection
- Generazione Automatica di Codice Utilizzando Hugging Face
Interested in working together?
I regularly supervise BSc and MSc theses in software security, AI-based code generation, and software reliability. If you are an undergraduate or master student at the University of Naples Federico II interested in these topics, feel free to get in touch.
I am also open to PhD candidates with a strong interest in the security and reliability of AI-based software systems. Please reach out with a short research statement and your CV.