Français Anglais
Accueil Annuaire Plan du site
Home > News du laboratoire > Martin Clochard gets the PhD Thesis Award GDR GPL 2018
Martin Clochard gets the PhD Thesis Award GDR GPL 2018
Martin Clochard gets the PhD Thesis Award GDR GPL 2018 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
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.

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".

Goerge manoussakis got the prize Charles Delorme 2018
18 September 2018