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
- Human Interfaces in Information Systems (HIIS), Head: Fabio Paternò
- Knowledge Discovery and Data Mining (KDD), Head: Fosca Giannotti
- Networked Multimedia Information System (NeMIS), Head: Donatella Castelli