Picard Celia   Statut : Doctorant   Service / Equipe :  Assistance à la Certification des Applications DIstribuées et Embarquées   Contact : Celia.Picard@irit.fr   Localisation : IRIT1 / Niveau 4, Pièce: 417   Téléphone : 05 61 55 8456

 

Recherche

 Thèmes de recherche

• Sureté du logiciel

• Ingénierie des modèles

 Recherches actuelles

• 2^ème année de doctorat

  • Directeur de thèse : Ralph Matthes.
  • Date de début : 01/10/2008.
  • Sujet : Développement d'un noyau sûr de transformation de modèles

 

 Parcours de recherche

• Stage de fin d'études ENSIMAG / MTI (FIB-UPC) / Grado de Ingeniero Superior (FIB-UPC)

  • Dates : 18/02/2008 - 18/08/2008
  • Lieu : CNES, Centre Spatial de Toulouse, sous-direction systèmes bord-sol (SB), service logiciels de vol (LV).
  • Tuteur : David Chemouil.
  • Sujet : Transformation de modèles en Scala.

 

 

 

Enseignement

• Monitrice à l'Université Paul Sabatier.

  • Année 2008-2009 (tout en doublon):
    • TP Caml en S1 (L1) à l'UPS
    • TP Caml en option IMM en S1 (L1) à l'UPS
    • TP C en S3 (L2) à l'UPS
    • TP C en S2 (L1) à l'UPS
    • TP Java en S6 (L3) à l'UPS
    • TP Caml en S6 (L3) à l'UPS
  • Année 2009-2010 :
    • TP TC2 (Spécification et Traduction des Langages) en S7 (M1) à l'UPS
    • TP TC1 (UML) en S7 (M1) à l'UPS
    • TP algo (B) en S5 (L3) à l'UPS
    • TP STL (Sémantique et Traduction des Langages) en S3 (M1) à l'ENSEEIHT
    • TP Caml en S5 (L3) à l'ENSEEIHT