INFORMATICA

Quest'area di ricerca riguarda l'insieme delle teorie alla base dell'approccio informatico allo studio dei problemi ed alla progettazione, produzione e utilizzazione di sistemi informatici per l’innovazione nella società.
Applicando un metodo basato su modellizzazione, formalizzazione e verifica sperimentale, le attività di ricerca hanno per oggetto:
- i fondamenti algoritmici,  logici, semantici e metodologici dell'informatica;
- le competenze sistemistiche necessarie a modellare e progettare (in modo adeguato
dal punto di vista logico, tecnico ed economico) elaboratori, sistemi distribuiti, reti, sistemi telematici, linguaggi, sistemi informativi, basi di dati e sistemi di accesso all'informazione;
- gli ambiti applicativi e sperimentali relativi agli usi innovativi dell'informatica, quali l’elaborazione di immagini e suoni, il riconoscimento e la visione artificiale, le reti
neurali, l’intelligenza artificiale e il soft computing, la simulazione computazionale, la grafica computazionale, l’interazione utente-elaboratore e i sistemi multimediali.

Personale coinvolto (in ordine alfabetico)