« Back

INFORMATICS

This research area is related to the whole body of theories at the foundation of the informatics approach to problem solving and at the basis of design, production and utilization of informatics systems.
In particular, research activities are focused on:
- design, testing and validation of software systems;
- methodologies and algorithms for security and privacy in communications;
- statistical methods for automatic learning;
- computational vision;
- language processing;
- knowledge representation;
- automatic problem solving;
- intelligent interfaces;
- bioinformatics and computational models for biological systems.

Academic staff (in alphabetical order)