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
Semaine du cerveau : Cerveau connecté
16 mars 2021
Laurence Devillers, chercheuse en Intelligence Artificielle et Ethique de l'IA et Michel Beaudouin-Lafon, chercheur en Interaction Humain-Machine exposent leurs points de vue dans la série de Podcats du CNRS à l'occasion de la semaine du Cerveau.

Wizard project
01 avril 2021
Innovation Area: Public Safety, IoT, Mobility

Le LISN recrute 3 enseignants-chercheurs
08 mars 2021
Rejoignez les départements Sciences des Données, Interaction Humain-Machine ou Mécanique Energétique