Sites Inria

Version française

Fields of research

Algorithmics, Programming, Software and Architecture

Didier Rémy © Inria / Photo G. Scagnelli Didier Rémy - © Inria / Photo G. Scagnelli

This field is at the core of programming and computer systems. Technology developments,such as the development of multicore processors and pervasive computing, raise new scientific challenges for experts in algorithms, languages and software architectures. Their common goal is to achieve control over the reliability and security of programs and data exchanges.

Researchers are studying and certifying the reliability of embedded systems in avionics, automotives and now portable devices such as mobile phones and personal digital assistants, which have limited computing resources. They are also interested in the reliability of web services and in the security of data exchanges using cryptography techniques that also need to be certified, while at the same time addressing privacy issues. The teams are producing specification, programming, testing and proof environments, program analysis and verification tools, certified compilers, as well as cryptography and cryptanalysis methods.

Didier Rémy is  Deputy Scientific Director in charge of research in Algorithmics, Programming, Software and Architecture .

Keywords: Algorithmics Programming Software Architecture