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, Andra Bobbio, Alessio Bottrighi, Massimo Canoninco, Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Paola Giannini, Attilio Giordana, Laura Giordano, Marco Guazzone, Giorgio Leonardi, Giovanni Manzini, Stefania Montani, Lorenza Saitta, Paolo Terenziani, Daniele Theseider Dupré.