ISTI laboratories can be presented by grouping them into six Thematic Areas. This web site provides just a very brief presentation for each research lab. More data and information are presented in the web sites specific for each research lab.

Networking

• Wireless Networks (WN), Head: Paolo Barsocchi

Software

• Formal Methods and Tools (FMT), Head: Maurice Henri ter Beek
• Software Engineering & Dependable Computing (SEDC), Head: Felicita Di Giandomenico
• System and Software Evaluation (SSE), Head: Giuseppe Lami

Knowledge

• Artificial Intelligence for Media and Humanities (AIMH), Head: Giuseppe Amato
• Human Interfaces in Information Systems (HIIS), Head: Fabio Paternò
• Infrastructures for Science (InfraScience), Head: Pasquale Pagano
• Knowledge Discovery and Data Mining (KDD), Head: Mirco Nanni

High Performance Computing

• High Performance Computing (HPC), Head: Raffaele Perego

Visual

• Signals and Images (SI), Head: Davide Moroni
• Visual Computing (VC), Head: Paolo Cignoni

Flight and Structural Mechanics

• Mechanics of Materials and Structures (MMS), Head: Cristina Padovani
• Space Flight Dynamics (SFD), Head: Carmen Pardini