Jean-Christophe Filliâtre receives the CAV Award 2019, 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 (http://why3.lri.fr).

The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification.

Pour en savoir plus: http://cavconference.org/cav-award