Prossima Seduta
Scadenze per gli Studenti
18 febbraio 2026
Termine ultimo per l’invio a cicsi@unipa.it della documentazione relativa a:
- Fine Tirocinio.
- Altre conoscenze utili per l'inserimento nel mondo del lavoro.
27 febbraio 2026
Data ultima per il completamento degli esami di profitto e la convalida di tutte le attività formative (registrazione compresa).
25 febbraio 2026
Data ultima per il caricamento della tesi di laurea e validazione da parte del relatore.
PROVA FINALE
Le modalità di accesso all’esame di laurea magistrale, le caratteristiche della tesi e le modalità di svolgimento della prova finale sono definiti nel Regolamento dell’esame di Laurea Magistrale, consultabile nella voce REGOLAMENTI dal Menu INFORMAZIONI, o mediante il seguente link
La Prova Finale vale 21 CFU.
ADEMPIMENTI PER LAUREARSI (9 PASSI PER CONSEGUIRE IL TITOLO DI DOTTORE MAGISTRALE IN INFORMATICA):
- Prendere visione del REGOLAMENTO dell’ESAME Dl LAUREA MAGISTRALE, utilizzando il link sopra indicato
- Scegliere un argomento consultando la lista degli ARGOMENTI PER LA TESI DI LAUREA MAGISTRALE, suddivisi per docente proponente, il quale assumerà il ruolo di relatore. È possibile proporre un argomento non compreso nella lista, purché concordato preliminarmente con il docente relatore
- Compilare la Richiesta assegnazione della tesi di Laurea Magistrale, raggiungibile dalla voce MODULISTICA del Menu INFORMAZIONI e consegnarla presso la segreteria del Corso di Studio (dott.ssa. Bartolo) almeno 6 mesi prima della sessione di laurea prevista
- Procedere allo studio dell’argomento di tesi assegnato e alla preparazione della tesi con la supervisione del relatore
- Individuare, con il supporto del relatore, la sessione di laurea magistrale in cui presentare la tesi, compilare (attraverso il portale studenti) la domanda di laurea magistrale ed effettuare il pagamento delle tasse previste. Le scadenze e tutti gli altri dettagli sono consultabili al seguente link, raggiungibile dalla pagina STUDENTI del sito di Ateneo: https://www.unipa.it/target/studenti-iscritti/laurearsi/domanda-di-laurea/
- Effettuare l’upload della tesi di laurea magistrale (il termine ultimo è fissato a 15 giorni continuativi prima dell'inizio della sessione di laurea)
- Validazione della tesi da parte del relatore. Al fine di consentire la consultazione delle tesi ai membri della commissione il relatore, una volta validata la tesi, ne invia copia in formato pdf al segretario del corso di studio (dott.ssa Bartolo) per il successivo caricamento nel cloud. Completata la procedura di validazione, lo studente saràÌ€ iscritto d’ufficio alla prova finale.
- Sostenere la prova finale, che consiste nella presentazione della tesi dinanzi ad una commissione di laurea magistrale appositamente nominata e in una discussione su quesiti eventualmente posti dai membri della commissione. Il tempo a disposizione per la presentazione è 20 minuti.
- A conclusione della seduta di laurea magistrale, la commissione procede alla proclamazione, ovvero al conferimento del titolo e contestuale comunicazione del voto di laurea (espresso in centodecimi con eventuale lode)
Argomenti per la Tesi
Si propone una lista di possibili argomenti per la tesi di laurea magistrale, suddivisi per docente proponente, il quale assumerà il ruolo di relatore.
Professor: F. BELLAVIA
- Computer Vision
- Three-dimensional reconstruction from images and videos
- Autonomous navigation through computer vision
- Color correction methods for images and videos
- Image mosaicing and stitching
Professor: G. CASTIGLIONE
- Infinite-word languages
- Advanced closure properties of regular languages
- Star-free languages
- Recognizability of two-dimensional languages
- Two-way finite automaton
- Applications of formal language theory to the study of natural languages
- Context-sensitive languages
Professor: C. EPIFANIO
- Data structures for text indexing
- Data compression algorithms
- Sturmian graphs
Professor: G. FALCONE
- Addition algorithms on hyperelliptic curves in asymmetric cryptography
- Decoding algorithms for Goppa and Reed–Muller codes
Professor: G. FICI
- Implementation in C or Java of advanced string algorithms and experimentation on real-world data
- Theoretical development of combinatorial notions on strings (introduction to research)
Professor: D. GARLISI
- DevOps Pipelines for Cyber-Physical Systems: CI/CD for edge computing and IoT applications.
- Containerization and Kubernetes orchestration for large-scale cyber-physical systems.
- Infrastructure-as-Code (Terraform, Ansible) for scalable IoT environments.
- Automated testing of firmware and cloud services for IoT sensor networks.
- IoT sensor systems for water network monitoring and leak detection.
- LLM-based operational assistants for managing energy or water infrastructures.
- LLMs as orchestrators of ML models for prediction, diagnostics, and technical reporting.
- RAG-based optimization for accessing technical manuals and intervention protocols.
- Reinforcement Learning for network distributed node selection
- Anomaly detection in streaming of dataset (malfunctions, outliers).
- Federated learning for consumption forecasting with privacy preservation.
- ML-Enhanced Key Agreement Protocols for 5G Security
- Document Intelligence: entity extraction and information retrieval from documents.
- Semantic indexing and natural-language querying of technical manuals, reports, and regulations.
- Automated SCAS Testing via RAG on 3GPP Documentation
Professor: R. GIANCARLO
- String algorithms for large data collections
- Graph algorithms
- Data structures for indexing and search
- Data compression based on reordering
In collaboration with the CNR:
- Adaptive workflow systems
- Multi-agent simulation systems
- Software design tools
Professor: G. LO BOSCO
- Machine Learning
- Deep Learning
- Bioinformatics
- Medical imaging
- Augmented reality (in collaboration with the ITD-CNR institute)
- Natural Language Processing (in collaboration with the ICAR-CNR institute)
- Mobile application development (in collaboration with the ITD-CNR institute)
Professor: F. REALE
- Numerical analysis applied to Astrophysics
- High-performance computing applied to Astrophysics
Professor: S. ROMBO
- Pattern discovery and Artificial Intelligence for oral cancer prevention
- Selection of optimal cohorts of individuals in various contexts (advertising, clinical trials, finance, etc.)
- Big Data Analytics and Artificial Intelligence for decision support in different application contexts with distributed tools (Spark, MongoDB, ElasticSearch, etc.)
- Distributed frameworks and methodologies (MapReduce, RDD, etc.)
- Knowledge Graphs
- Natural Language Processing (NLP) and text-to-speech
- Applications for Precision and Regenerative Medicine - also in collaboration with industries
- Link prediction for social and/or biological networks
- Software security and cybersecurity (Blockchain, Smart Contracts, etc.) - also in collaboration with other universities
- Digital signage and personalized advertising
- Data Warehousing and Business Intelligence
- IT approaches and methodologies for sustainability - in collaboration with the University's Center for Sustainability and Ecological Transition
Professor: G. SANFILIPPO
- Exchangeable events and draws from urns of unknown composition
- Entropy and extropy of information
- Bregman divergence and measures of dissimilarity
Professor: M. SCIORTINO
- Construction of compact graphs for text indexing
- Combinatorial tools for text classification
- Construction of self-adjusting automata for process management (in collaboration with the CNR)
- External-memory algorithms and data structures for processing massive datasets
- Construction of index structures for text collections
- Measures for text comparison
- Measures for comparing tree structures
Professor: C. VALENTI
Data analysis, parallel and evolutionary algorithms for:
- Tomography
- Forensic computing
- Diagnostics
- Interpretation
- Compression
