Le linee di ricerca sviluppate dal gruppo sono:
- intelligenza Artificiale e Sistemi Intelligenti (PE6_7);
- modelli Formali, Affidabilita’ e Valutazione delle Prestazioni (PE6_12);
- sistemi Distribuiti (PE6_2);
- informatica Forense (PE6_5);
- sicurezza Informatica (PE6_5);
- metodi Formali per la Descrizione della Semantica di Linguaggi e Sistemi (PE6_4);
- compressione ed Indicizzazione di Testi e Bioinformatica (PE6_6).
Responsabile scientifico: professor Luigi Portinale.
Componenti: Cosimo Anglano, Alessio Bottrighi, Massimo Canonico, Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Paola Giannini, Laura Giordano, Marco Guazzone, Giorgio Leonardi, Giovanni Manzini, Stefania Montani, Marzio Pennisi, Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré.