Section: Highlights of the Year

Highlights of the Year

• Martin Clochard has been awarded the GDR GPL 2018 prize (http://gdr-gpl.cnrs.fr/node/361) for his thesis entitled “Methods and tools for specification and proof of difficult properties of sequential programs” carried out at LRI, under the scientific supervision of Claude Marché and Andrei Paskevich. [57] [43]

  Martin Clochard is currently a postdoc at ETH Zurich.

• Jean-Christophe Filliâtre receives the 2019 CAV Award, jointly with Rustan Leino (Amazon Web Services), for the design and development of reusable intermediate verification languages which significantly simplified and accelerated the building of automated deductive verifiers. Jean-Christophe is the initial designer of the Why environment for automated deductive verification, and a leading developer of its successor Why3.

  The CAV award is given anually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. http://cavconference.org/cav-award

• Claude Marché received the FIEEC CARNOT 2019 prize for applied research for his collaboration with AdaCore. The award recognizes his collaboration with AdaCore, a computer assisted proof verification company, for applications in the development of critical software for safety and security in the aeronautics, space, air traffic control and rail transportation industries, autonomous vehicles, finance or medical devices. https://www.instituts-carnot.eu/fr/actualite/prix-fieec-carnot-de-la-recherche-appliquee-trois-chercheurs-recompenses-pour-leurs-partenariats-retd-avec-les-pme