Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > George Manoussakis, lauréat 2018, prix de thèse (accessit) Charles Delorme
George Manoussakis, lauréat 2018, prix de thèse (accessit) Charles Delorme
George Manoussakis, lauréat 2018, prix de thèse (accessit) Charles Delorme 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.
News
CAV Award 2019
06 septembre 2019
Jean-Christophe Filliâtre reçoit le prix "CAV Award 2019", pour la conception et le développement de langages intermédiaires réutilisables pour la vérification.

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.

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