Computer Science Department

Tree structure

• AI research @ Dipartimento di Informatica
• • Content Centered Computing (CCC)
  • Intelligent Semantic Technologies for Human and Artificial Agents Collaboration (IST*HAAC)
  • Knowledge representation, Automated Reasoning, Logic and ontologies
  • Machine Learning and Data Mining (MLDM)
  • Smart Interactive Objects and Systems
  • Social Computing (SoCom)

• ARC2S: Applied Research on Computational Complex Systems

• Big Data

• Computer science k-12 education (InforScuole)

• Design and evaluation of networks and distributed systems

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

• Formal Methods for Software Development (FORMS)

• IT security (SEC)

• Logical Foundations of Computation (Logic)

• Management and Analysis of Data and Media (MADM)

• Management of Innovation

• Metodologie computazionali e matematiche per modellare sistemi multi-omici (sysbio)

• Parallel Computing (alpha)

• Quantitative Biology (q-Bio)

• System Modelling, Verification and Reuse (MoVeRe)