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

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

This research field, at the core of programming and computer systems, covers computer architecture, programming languages and compilation, formal methods, algorithmics, and security and confidentiality.

Researchers are interested in new architecture design, in particular manycore architectures, and how to better take advantage of them, and minimize energy consumption for both computer intensive HPC or cloud applications and low energy IoT devices.  They seek for safer, more expressive high-level or domain specific programming languages, and improve the efficiency and accuracy of their compilation to modern architectures.  They design program analysis and verification tools, including deductive (interactive and automated) theorem proving techniques.  They also study computer algebra applied to geometrical problems, cryptographic primitives, and security and privacy protocols, including their efficient, mechanically verified implementations.

Their goal is to simplify the activity of programming and improve the efficiency, safety, and security of computer systems,  for instance certifying the reliability of cyberphysical systems in avionics, automotives, portable devices, and the financial, manufacturing, and medical industries.

Keywords: Algorithmics Programming Software Architecture