|
|
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 |
|
|
Yannis Manoussakis passed away6 June 2021We have just learned of the death of Yannis Manoussakis, Professor at the University of Paris-Saclay, on Saturday June 5.
He was the leader of the GALaC team and had been for many years director of the LRI, we lose a friend and a dear colleague.
Our Semaine du cerveau : Cerveau connecté16 March 2021Wizard project1 April 2021Innovation Area: Public Safety, IoT, Mobility
|
|
|
|
|
