Dipartimento di Informatica

Struttura dei gruppi

• ARC2S: Ricerca Applicata su Sistemi Complessi Computazionali

• Calcolo parallelo (alpha)

• Didattica dell'Informatica

• EIDOSlab: Digital image processing, computer vision and virtual reality

• Fondazioni logiche della computazione

• Gestione ed Analisi dei Dati in contesti Multimediali

• Metodi Formali per lo Sviluppo del Software

• Modellazione, Verifica e Riuso di Sistemi (MoVeRe)

• Progetto e valutazione di reti e sistemi distribuiti

• Quantitative Biology (q-Bio)

• Ricerca Operativa

• Ricerca sull'Intelligenza Artificiale @ Dipartimento di Informatica
• • Apprendimento Automatico e Data Mining (MLDM)
  • Computazione Centrata sui Contenuti
  • Rappresentazione della conoscenza, ragionamento automatico, logica e ontologie
  • Sistemi e Oggetti Intelligenti e Interattivi
  • Social Computing
  • Tecnologie semantiche intelligenti per la collaborazione tra agenti umani e artificiali

• Sicurezza informatica (SEC)

• System and Service Quality