Giorgino Mathieu   Statut : Doctorant   Service / Equipe :  Assistance à la Certification des Applications DIstribuées et Embarquées   Contact : Prénom POINT Nom AT irit.fr   Localisation : IRIT1 / Niveau 4, Pièce: 417   Téléphone : 05 61 55 8456   PGP : Clé publique   Publications :

 

Recherche

 Publications

  2010

• BDDs verified in a proof assistant (Preliminary report)

• Verification of the Schorr-Waite algorithm - From trees to graphs

  2009

• Génération de programmes efficaces et vérifiés

  2008

• Vérification de structures de pointeurs

  2006

• Towards a Formalisation of Graph Transformations in Proof Assistants

 Thèmes de recherche

• Sureté du logiciel

• Ingénierie des modèles

Je m'intéresse à la génération de programmes avec pointeurs, ainsi qu'au raisonnement sur les algorithmes manipulant des pointeurs. Notre approche s'axe sur l'utilisation de pointeurs additionnels dans une structure d'arbre.

 

 Recherches actuelles

Depuis 2008 : doctorat sous la direction de Martin Strecker et Ralph Matthes avec pour sujet :

 

 Parcours de recherche

• 03-09/2008 : Stage de 3^ème année ENSEEIHT/ Master recherche SIGL

  Effectué à l'IRIT dans l'équipe ACADIE.

  Rapport

• Eté 2007 : Stage de 2^ème année ENSEEIHT

  Effectué à l'université de Leicester dans le département Informatique et Mathématiques pour l'équipe ACADIE de l'IRIT.

• Eté 2006 : Stage de 1^ère année ENSEEIHT

  Effectué à l'IRIT dans l'équipe ACADIE.

 

 

 

Enseignement

Moniteur à l'Université Paul Sabatier.

• 2008-2009

  • (TP) L1.Informatique - Introduction à l'informatique : Initiation au langage Caml.
  • (TP) L1.* - C2i : Préparation à la certification C2i niveau 1.
  • (TP) L2.Math/Méca - Langage C.
  • (TP) L3.Informatique - Langage Prolog.

  Effectués en doublon

• 2009-2010

  • (TP) L1.Informatique - Introduction à l'informatique : Initiation au langage Caml.
  • (TP) L3.Informatique - Algorithmes, types de données et preuves.
  • (TP) M1.Informatique - Traduction et Spécification des langages.
  • (TP) 1ère année ENSEEIHT, Informatique et Mathématiques Appliquées - Technologies Objet et Génie Logiciel.
  • (TP) 2ème année ENSEEIHT, Télécom et Réseau - Langages Objets : Java et UML.

• 2010-2011

  • (TD machine) L3.Informatique - Algorithmes, types de données et preuves.
  • (TP) M1.Informatique - Traduction et Spécification des langages.
  • (TP) 1ère année ENSEEIHT, Informatique et Mathématiques Appliquées - Technologies Objet et Génie Logiciel.
  • (TP) 2ème année ENSEEIHT, Télécom et Réseau - Langages Objets : Java et UML.