Fields of research
Algorithmics, Programming, Software and Architecture
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.
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