AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Soutenance de thèse d’Euriell Le Corronc

1st December 2012

Euriell Le Corronc a soutenu sa thèse intitulée “Modèles et calculs garantis pour les systèmes (min,+)-linéaires le 4 novembre 2011. Le jury était composé de:

  • Laurent Hardouin - LISA, Angers, Directeur de thèse
  • Bertrand Cottenceau - LISA, Angers, Co-encadrant
  • Bruno Gaujal - LIG, INRIA Grenoble, Rapporteur
  • Jean-Jacques Lesage - LURPA, ENS Cachan, Rapporteur
  • Christian Fraboul - IRIT, INP Toulouse, Président du jury
  • Giovanni Stea - Université de Pise, Italie
  • Eric Thierry - LIP, ENS Lyon

Vous pouvez retrouvez les transparents.

Leave a Reply

You must be logged in to post a comment.