Fields of research
Algorithmics, Programming, Software and Architecture
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.
These articles could interest you:
Deputy Scientific Director in charge of research in Algorithmics, programming, software and architecture.
Other fields of research
- © Inria / Photo G. Scagnelli 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