Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > CAV Award 2019
CAV Award 2019
CAV Award 2019 CAV Award 2019
06 septembre 2019

Jean-Christophe Filliâtre reçoit le prix "CAV Award 2019", pour la conception et le développement de langages intermédiaires réutilisables pour la vérification.

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
News
Prix de stage de recherche de l'École polytechnique
19 novembre 2019
Quentin Soubeyran a reçu le prix de stage de recherche de l'École polytechnique pour son travail au LRI dans l'équipe Systèmes Parallèles.

Prix FIEEC CARNOT de la recherche appliquée
18 octobre 2019
Claude Marché remporte le premier prix FIEEC CARNOT de la recherche appliquée pour sa collaboration avec la société AdaCore.

Ouvrage Informatique au lycée
24 septembre 2019
Parution d'un ouvrage pour la spécialité NSI en classe de première, co-écrit par quatre membres du LRI.