Inria
Inria.fr
Inria Channel
Fields of research
Algorithmics, programming, software and architecture
© Inria / Photo S. Tetu - La Company
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.
Gilles Dowek is Deputy Scientific Director in charge of research in Algorithmics, programming, software and architecture.
Contact
Gilles Dowek
Deputy Scientific Director in charge of research in Algorithmics, programming, software and architecture.
Other fields of research
