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