Sites Inria

Version française

Fields of research

Algorithmics, Programming, Software and Architecture

Allain Girault © Inria / Photo G. Scagnelli Inria / Photo G. Scagnelli

Alain Girault 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 quality of their compilation to modern architectures. They design program analysis and verification tools, including deductive (interactive and automated) methods. 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 software and computer systems, and to increase the reliability of cyberphysical systems in the transport, critical infrastructures, manufacturing, and medical industries.

Keywords: Algorithmics Programming Software Architecture