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
Le projet Sanctuary - Le LRI à l'honneur au journal télévisé Soir 3
16 mai 2019
Les travaux de l'équipe HCC/ILda - projet Sanctuary - passent à Soir 3.

Une expédition sur la Lune pour les 50 ans d'Apollo 11.

Martin Clochard reçoit le prix de thèse GDR GPL 2018
15 mai 2019
Martin Clochard a reçu le prix GDR GPL 2018 (http://gdr-gpl.cnrs.fr/node/361) pour sa thèse intitulée "Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels" .

Wanyu "Abby" Liu reçoit le 1er prix de thèse de Télécom ParisTech
05 avril 2019
Wanyu "Abby" Liu, doctorante de l'équipe HCC et de Télécom ParisTech, a reçu le premier prix de thèse de Télécom ParisTech pour sa thèse intitulée "La théorie de l'information comme outil unifié pour comprendre l'interaction humain-machine".