Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Martin Clochard reçoit le prix de thèse GDR GPL 2018
Martin Clochard reçoit le prix de thèse GDR GPL 2018
Martin Clochard reçoit le prix de thèse GDR GPL 2018 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" .

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"  réalisée au LRI, sous la direction scientifique de Claude Marché et Andrei Paskevich.

Martin Clochard est actuellement post-doc à l'ETH Zurich



Pour en savoir plus: http://www.theses.fr/2018SACLS071
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.

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

George Manoussakis, lauréat 2018, prix de thèse (accessit) Charles Delorme
18 septembre 2018
George Manoussakis, est lauréat de prix de thèse (accessit) Ch. Delorme 2018. Il a soutenu sa thèse au LRI/Galac en Novembre 2017 sous la direction de J. Cohen et A. Deza. Depuis Septembre 2018 il est MdeC à l'Université de Versailles/Li-PaRAD.