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".
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" carried out at LRI, under the scientific supervision of Claude Marché and Andrei Paskevich. Martin Clochard is currently a postdoc at ETH Zurich Pour en savoir plus: http://www.theses.fr/2018SACLS071

Yannis Manoussakis passed away
6 June 2021
We 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 2021

Wizard project
1 April 2021
Innovation Area: Public Safety, IoT, Mobility