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.
- 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
- Artificial Intelligence for Media and Humanities (AIMH), Head: Giuseppe Amato
- Human Interfaces in Information Systems (HIIS), Head: Fabio Paternò
- Infrastructures for Science (InfraScience), Head: Donatella Castelli
- Knowledge Discovery and Data Mining (KDD), Head: Fosca Giannotti