Vai al contenuto principale

Groups list

AI research @ Dipartimento di Informatica
ARC2S: Applied Research on Computational Complex Systems
Coordinator:
  • Giancarlo Francesco Ruffo
Big Data
Computer science k-12 education (InforScuole)
Content Centered Computing (CCC)
Coordinator:
  • Vincenzo Lombardo
Design and evaluation of networks and distributed systems
Coordinator:
  • Rossano Gaeta
EIDOSlab: Digital image processing, computer vision and virtual reality
Coordinator:
  • Marco Grangetto
Formal Methods for Software Development (FORMS)
Coordinator:
  • Luca Padovani
Intelligent Semantic Technologies for Human and Artificial Agents Collaboration (IST*HAAC)
Coordinator:
  • Liliana Ardissono
IT security (SEC)
Knowledge representation, Automated Reasoning, Logic and ontologies
Logical Foundations of Computation (Logic)
Coordinator:
  • Stefano Berardi
Machine Learning and Data Mining (MLDM)
Management and Analysis of Data and Media (MADM)
Coordinator:
  • Maria Luisa Sapino
Management of Innovation
Metodologie computazionali e matematiche per modellare sistemi multi-omici (sysbio)
Operational Research (RO)
Parallel Computing (alpha)
Coordinator:
  • Marco Aldinucci
Quantitative Biology (q-Bio)
Group leader:
  • Francesca Cordero
Group leader:
  • Marco Beccuti
Smart Interactive Objects and Systems
Coordinator:
  • Luca Console
Social Computing (SoCom)
Coordinator:
  • Guido Boella
System Modelling, Verification and Reuse (MoVeRe)
Coordinator:
  • Ferruccio Damiani
Non cliccare qui!