Informatica

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)

Image Processing Lab: (svg.dmi.unict.it) Assistive Technologies, Computer Vision, Multimedia Security and Forensics, First Person (Egocentric) Vision, Health, Medical Imaging, Multimedia, Social Media Mining (Giovanni Gallo, Sebastiano Battiato, Filippo Stanco, Giovanni Farinella)

Intelligenza Artificiale e Computazione Naturale: Algoritmi Evolutivi Ibridi, ovvero basati su popolazioni di soluzioni ottimizzate con tecniche greedy di ricerca locale, per problemi di ottimizzazione combinatoria (Vincenzo Cutello, Mario Pavone)

Robotica e Sistemi Autonomi: 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 (Corrado Santoro, Fabrizio Messina)

Cybersecurity: (http://www.dmi.unict.it/~nas) problemi di sicurezza informatica e privacy del mondo reale, quali transazioni web ed esami universitari, specifica e verifica formale, aspetti socio-tecnologici, aspetti normativi, hacking etico (Giampaolo Bella)

Crittografia: crittografia basata su password, il voto elettronico e primitive crittografiche con proprietà particolari (quali firme omomorfiche e functional encryption) (Dario Catalano)

String matching: (Domenico Cantone, Simone Faro, Marianna Nicolosi)

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)