Informatica - INFO-01/A
Gli argomenti di ricerca sono numerosi e diversi tra loro.
Crittografia: Studio di questioni fondazionali e di problemi connessi alla progettazione, realizzazione e analisi di costruzioni crittografiche sicure ed efficienti, ispirate da esigenze applicative. Le attività includono protocolli crittografici, voto elettronico e primitive con proprietà speciali, quali la functional encryption e i sistemi di autenticazione omomorfica.
Componenti: Dario Catalano, Mario Di Raimondo.
Intelligenza artificiale e trattamento del linguaggio naturale: Studio dell’elaborazione del linguaggio naturale, dei Large Language Models e delle applicazioni dell’intelligenza artificiale all’estrazione e alla gestione della conoscenza.
Componenti: Misael Mongiovì.
Metodi formali e logica computazionale: Studio della decidibilità in frammenti della teoria degli insiemi, logiche non classiche e nel contesto del X Problema di Hilbert e delle sue varianti. Le attività comprendono lo sviluppo e l’analisi di sistemi formali per la deduzione automatica, nonché di ontologie computazionali per domini applicativi nelle Digital Humanities, nelCultural Heritage e nei sistemi multi-agente.
Componenti: Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Quantum computing: Studio di algoritmi, modelli computazionali, linguaggi di programmazione e circuiti quantistici per la progettazione e l’analisi di sistemi quantistici efficienti. Le attività comprendono algoritmi quantistici per stringhe, ricerca, ottimizzazione e problemi combinatori, programmazione quantistica ad alto livello, sintesi e ottimizzazione di circuiti, modelli ibridi classico-quantistici e basi teoriche del calcolo quantistico, con applicazioni all’elaborazione dei dati, alla crittografia e alla simulazione di sistemi complessi.
Componenti: Simone Faro, Domenico Cantone, Caterina Viola, Francesco Pio Marino, Gabriele Messina.
Text processing: Studio e sviluppo di algoritmi e strutture dati efficienti per l’elaborazione, l’indicizzazione e la ricerca di dati testuali. Le attività riguardano lo string matching esatto, approssimato e generalizzato, la combinatoria sulle parole, l’indicizzazione e la compressione di grandi collezioni di dati altamente ripetitivi, con applicazioni al recupero dell’informazione, alla biologia computazionale e all’analisi di grandi moli di dati.
Componenti: Simone Faro, Domenico Cantone, Caterina Viola, Francesco Pio Marino.
Teoria dei linguaggi formali: Studio di problemi algebrici e combinatori relativi alla teoria degli automi, ai linguaggi bidimensionali e ai codici.
Componenti: Marina Madonia.
Archeomatica: (www.archeomatica.unict.it) ricerca e applicazioni dell'informatica ai Beni Culturali. Dal 3D scanning alla modellazione, dall'Image Processing alla Computer Vision. Filippo Stanco, Giovanni Gallo
Ingegneria del Software e dei Sistemi Distribuiti: Soluzioni per l'analisi di sistemi software al fine di assistere il refactoring del codice, la generazione di test, la progettazione di architetture software e la distribuzione del codice. Giuseppe Pappalardo, Emiliano Tramontana
Robotica, Sistemi Autonomi e sistemi in alta disponibilità: piattaforme e linguaggi per la pianificazione di obiettivi ed il comportamento di sistemi robotici autonomi. Sistemi auto-organizzanti. Algoritmi e Piattaforme per Velivoli Autonomi (Unmanned Aerial Vehicles, UAV). Algoritmi di flocking per UAV. Aspetti teorici dell'interazione tra entità autonome, Metodi di composizione di sistemi comunicanti via message-passing. Verifica di proprietà di sistemi multi-party. Architetture e composizione di sistemi in alta disponibilità. Applicazioni AI e trust per sistemi in alta disponibilità. Corrado Santoro, Franco Barbanera, Fabrizio Messina, Federico Fausto Santoro.
Network and Security Informatics: Soluzioni per la sicurezza dei moderni sistemi di network, si visiti https://nas.dmi.unict.it Giampaolo Bella, Salvatore Riccobene.
Di seguito è riportato l'elenco completo dei docenti del settore scientifico disciplinare incardinati presso il Dipartimento:
| Cognome e nome | Ruolo |
|---|---|
| ALLEGRA Dario | Professore associato |
| BARBANERA Franco | Professore associato |
| BATTIATO Sebastiano | Professore ordinario |
| CALVAGNA Andrea | Ricercatore TD-a |
| CANTONE Domenico | Professore ordinario |
| CATALANO Dario | Professore ordinario |
| CAVALLARO Claudia | Ricercatrice TD-a |
| CINCOTTI Gianluca | Ricercatore |
| CUTELLO Vincenzo | Professore ordinario |
| DI RAIMONDO Mario | Ricercatore |
| ESPOSITO Sergio | Ricercatore TD-a |
| FARGETTA Georgia | Ricercatrice TD-a |
| FARINELLA Giovanni Maria | Professore ordinario |
| FARO Simone | Professore associato |
| FURNARI Antonino | Professore associato |
| GALLO Giovanni | Professore ordinario |
| GUARNERA Francesco | Ricercatore TD-a |
| GUARNERA Luca | Ricercatore TD-a |
| MADONIA Maria Serafina | Professoressa associata |
| MESSINA Fabrizio | Professore associato |
| MONGIOVI' Misael | Professore associato |
| ORTIS Alessandro | Professore associato |
| PAPPALARDO Giuseppe | Professore ordinario |
| PAVONE Mario Francesco | Professore associato |
| RAGUSA Francesco | Ricercatore TD-a |
| RICCOBENE Salvatore Antonio | Professore associato |
| RUNDO Francesco | Ricercatore TD-b |
| SANTAMARIA Daniele Francesco | Ricercatore TD-b |
| SANTORO Corrado | Professore associato |
| SANTORO Federico Fausto | Ricercatore TD-a |
| SPATA Massimo Orazio | Ricercatore TD-a |
| STANCO Filippo | Professore ordinario |
| TRAMONTANA Emiliano Alessio | Professore ordinario |
| URSINO Pietro | Ricercatore |
| VIOLA Caterina | Ricercatrice TD-a |