Français Anglais
Accueil Annuaire Plan du site
Home > News du laboratoire > CAV Award 2019
CAV Award 2019
CAV Award 2019 CAV Award 2019
6 September 2019

Jean-Christophe Filliâtre receives the 2019 CAV Award, for the design and development of reusable intermediate verification languages.

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 (http://why3.lri.fr).

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

Pour en savoir plus: http://cavconference.org/cav-award
News
Sanctuary project - LRI in the spotlight of France 3
16 May 2019
The works of HCC/ilda are presented on the news of France 3: An expedition on the moon on the occasion of the 50th anniversary of Apollo 11.

Martin Clochard gets the PhD Thesis Award GDR GPL 2018
15 May 2019
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".

Wanyu "Abby" Liu is awarded the Télécom ParisTech thesis prize
5 April 2019
Wanyu "Abby" Liu, joint Ph.D. student between the HCC group and Télécom ParisTech was awarded the Télécom ParisTech thesis prize for her Ph.D. thesis titled "Information Theory as a Unified Tool for Understanding and Designing Human-Computer Interaction".