Computer Studies

The research lines developed by the group are:

• Artificial intelligence and Intelligent Systems (PE6_7);
• Formal models, Reliability and Performance Evaluation (PE6_12);
• Distributed systems (PE6_2);
• computer Forensics (PE6_5);
• IT security (PE6_5);
• Formal methods for the Description of the Semantics of Languages and Systems (PE6_4);
• Compression and Indexing of Texts and Bioinformatics (PE6_6).

Team Leader: Prof. Luigi Portinale

Team members: 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é