Informatica

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 AnglanoAndra BobbioAlessio Bottrighi,  Massimo Canoninco, Davide Cerotti, Daniele Codetta RaiteriLavinia Egidi, Giuliana FranceschinisPaola Giannini, Attilio GiordanaLaura Giordano, Marco GuazzoneGiorgio Leonardi, Giovanni ManziniStefania Montani, Lorenza SaittaPaolo Terenziani,  Daniele Theseider Dupré.