Section: Highlights of the Year

Highlights of the Year

• Véronique Cortier has obtained the prestigious Inria-French Académie des sciences Young Researcher Award.

• Steve Kremer has been awarded an European Research Council (ERC) Consolidator Grant to fund his work on the specification and formal verification of new security properties.

• Two junior permanent members have been hired: Vincent Cheval as CR Inria and Jannik Dreier as associate professor at Université de Lorraine.