Fields of research
Algorithmics, Programming, Software and Architecture
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 .
These articles could interest you:
Deputy Scientific Director in charge of research in Algorithmics, programming, software and architecture.
Other fields of research
- Alain Viari - photo I. Qinzburg Fields of research Digital Health, Biology and Earth
- Jean Roman - Photo M. Sgandura Fields of research Applied Mathematics, Computation and Simulation
- © Inria / Vanessa Peregrin Fields of research Perception, Cognition & Interaction
- Frédéric Desprez - Photo G. Maisonneuve Fields of research Networks, systems and services, distributed computing