Research Theme : Human-computer interaction, images processing, data management, knowledge systems

Designing and experimenting on new programming tools is necessary to handle the growing complexity of software and to increase productivity in this domain. To achieve these goals, high level languages that integrate novel concepts and interactive proving and design tools are necessary. New applications call for even more complex algorithms in cryptography, algorithmic geometry and robotics. New mathematical methods and symbolic computation are required to design and analyze such algorithms.

Research teams

Legend :

• Research-teams recognized as project-teams by INRIA

Theme 3 A : Databases, Knowledge Bases, Cognitive Systems

Theme 3 B : Vision, Image Analysis and Synthesis